Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 19/20
- Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher:
Guest Editor's Introduction. 1-3 - John Alan Robinson:
Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. 5-8 - Krzysztof R. Apt, Roland N. Bol:
Logic Programming and Negation: A Survey. 9-71 - Chitta Baral, Michael Gelfond
:
Logic Programming and Knowledge Representation. 73-148 - Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
The s-Semantics Approach: Theory and Applications. 149-197 - Danny De Schreye, Stefaan Decorte:
Termination of Logic Programs: The Never-Ending Story. 199-260 - Alberto Pettorossi, Maurizio Proietti:
Transformation of Logic Programs: Foundations and Techniques. 261-320 - Yves Deville, Kung-Kiu Lau:
Logic Program Synthesis. 321-350 - Mireille Ducassé, Jacques Noyé:
Logic Programming Environments: Dynamic Program Analysis and Debugging. 351-384 - Peter Van Roy:
1983-1993: The Wonder Years of Sequential Prolog Implementation. 385-441 - Michele Bugliesi, Evelina Lamma, Paola Mello:
Modularity in Logic Programming. 443-502 - Joxan Jaffar, Michael J. Maher:
Constraint Logic Programming: A Survey. 503-581 - Michael Hanus:
The Integration of Functions into Logic Programming: From Theory to Practice. 583-628 - Stephen H. Muggleton, Luc De Raedt:
Inductive Logic Programming: Theory and Methods. 629-679 - Verónica Dahl:
Natural Language Processing and Logic Programming. 681-714
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 2024-04-19 19:20 CEST 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:
