Rational models of normal logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1137, Issue , 1996, Pages 1-4

  Bornscheuer, Sven Erik ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE;

GENERATING SYSTEM; LOGIC PROGRAMS; RATIONAL MODELS;

LOGIC PROGRAMMING;

EID: 84958531752     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61708-6_40     Document Type: Conference Paper

References (7)

1. S.-E. Bornscheuer. Distributed generation of rational models. Technical report, TUD, 1996. (to appear).
2. M Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A new declarative semantics for logic languages. In Proceedings of the International Conference and Symposium on Logic Programming, 1988.
3. P. N. Johnson-Laird and R. M. J. Byrne. Deduction. Lawrence Erlbaum Associates, Hove and London (UK), 1991.
4. J. W. Lloyd. Foundations of Logic Programming. Springer, 1987.
5. R. Manthey and F. Bry. Satchmo: a theorem prover implemented in prolog. In Proc. 9th Int. Conf. on Automated Deduction (CADE), pages 68-77, Springer, LNCS 310, 1988.
6. H. J. Ohlbach. Abstraction tree indexing for terms. In L. C. Aiello, editor, Proceedings of the European Conference on Artificial Intelligence, pages 479-484, 1990.
7. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.