Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday:
Robert A. Kowalski , 2002
- Antonis C. Kakas, Fariba Sadri:
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science 2407, Springer 2002, ISBN 3-540-43959-5
- Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden:
A Portrait of a Scientist as a Computational Logician. 1-4 - Marek J. Sergot:
Bob Kowalski: A Portrait. 5-25 - Robert A. Kowalski:
Directions for Logic Programming. 26-32
Logic Programming Languages
- Keith L. Clark, Peter J. Robinson:
Agents as Multi-threaded Logical Objects. 33-65 - Andrew Davison:
Logic Programming Languages for the Internet. 66-104 - John W. Lloyd:
Higher-Order Computational Logic. 105-137 - Kazunori Ueda:
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. 138-161
Program Derivation and Properties
- Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transformation Systems and Nondeclarative Properties. 162-186 - Danny De Schreye, Alexander Serebrenik:
Acceptability with General Orderings. 187-210 - Gopal Gupta, Enrico Pontelli:
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. 211-239 - Paolo Mancarella, Dino Pedreschi
, Salvatore Ruggieri:
Negation as Failure through Abduction: Reasoning about Termination. 240-272 - Alberto Pettorossi, Maurizio Proietti:
Program Derivation = Rules + Strategies. 273-309
Software Development
- Pierre Flener:
Achievements and Prospects of Program Synthesis. 310-346 - Kung-Kiu Lau, Mario Ornaghi:
Logic for Component-Based Software Development. 347-373 - Leon Sterling:
Patterns for Prolog Programming. 374-401
Extensions of Logic Programming
- Marc Denecker, Antonis C. Kakas:
Abduction in Logic Programming. 402-436 - Peter A. Flach, Nada Lavrac:
Learning in Clausal Logic: A Perspective on Inductive Logic Programming. 437-471 - Jack Minker, Dietmar Seipel:
Disjunctive Logic Programming: A Survey and Assessment. 472-511 - Mark Wallace:
Constraint Logic Programming. 512-532
Applications in Logic
- Luigia Carlucci Aiello, Fabio Massacci:
Planning Attacks to Security Protocols: Case Studies in Logic Programming. 533-560 - Francesco Buccafurri, Georg Gottlob:
Multiagent Compromises, Joint Fixpoints, and Stable Models. 561-585 - Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian:
Error-Tolerant Agents. 586-625 - Christoph G. Jung, Klaus Fischer:
Logic-Based Hybrid Agents. 626-654 - Thomas Sjöland, Per Kreuger, Martin Aronsson:
Heterogeneous Scheduling and Rotation. 655-676
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-03-25 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
