A system for computing constrained default logic extensions

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

Volumn 1126, Issue , 1996, Pages 237-250

  Antoniou, G ^a   Courtney, A P ^b   Ernsttand, J ^c   Williams, M A ^c  

^a GriiIith University   (Australia)

^b UNIVERSITY OF SYDNEY   (Australia)

^c UNIVERSITY OF NEWCASTLE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; FORESTRY; INFORMATION MANAGEMENT;

ALGORITHMIC FOUNDATIONS; DEFAULT LOGIC; INTEGRATED TOOLKIT; INTELLIGENT INFORMATION MANAGEMENT; NON-MONOTONIC REASONING; OBJECT ORIENTED DESIGN; PRUNING TECHNIQUES; SEARCH TREES;

COMPUTER CIRCUITS;

EID: 70449495267     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (19)

1. G. Antoniou. Nonmonotonic Reasoning with Incomplete and Changing Information. MIT Press 1996 (forthcoming)
2. R. Ben-Eliyahu and I. Niemela (eds.). Applications and Implementations of Nonmonotonic Reasoning Systems. Proceedings of the IJCAI-95 Workshop.
3. G. Brewka. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50,2 (1991): 183-205
4. P. Cholewinski. Stratified Default Logic. In Proc. Computer Science Logic 1994, Springer LNCS 933,456-470
5. P. Cholewinski, W. Marek, A. Mikitiuk and M. Truszczynski. Experimenting with default logic. In Proc. ICLP-95, MIT Press 1995
6. A. P. Courtney. Towards a Default Logic Workbench: Computing Extensions. Honours Thesis, Basser Department of Computer Science, University of Sydney 1995
7. J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative Approaches to default logic. Artificial Intelligence 70 (1994): 167-237
8. M. Hopkins. Orderings and Extensions. In Proc. ESQUARU'93, Springer 1993, LNAI 747
9. E. Koutsofinos and S.C. North. Dot. Bell Laboratories, http://www.research.att.com/orgs/ssr/book/reuse
10. T. Linke and T. Sehaub. Lemma Handling in Default Logic Theorem Proving. In Proc. Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer 1995, LNAI 946, 285-292
11. W. Lukaszewicz. Considerations of default logic: an alternative approach. Computational Intelligence 4,1(1988): 1-16
12. A. Mikitiuk and M. Truszczynski. Constrained and rational default logics. In Proc. International Joint Conference on Artificial Intelligence 1995
13. D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence 36 (1988): 27-47
14. R. Reiter. A logic for default reasoning. Artificial Intelligence 13(1980): 81-132
15. V. Risch and C. Schwind. Tableau-Based Characterization and Theorem Proving for Default Logic. Journal of Automated Reasoning 13 (1994): 223-242
16. T. Schaub. On Constrained Default Theories. In Proc. ECAI-92, Wiley 1992, 304-308
17. T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. Journal of Automated Reasoning 15,1 (1995): 95-165
18. K. Schlechta. Directly Sceptical Inheritance cannot Capture the Intersection of Extensions. In Proc. GMD Workshop on Nonmonotonic Reasoning, GMD 1989
19. K. Wallace. Proof Truncation Techniques in Model Elimination Tableau-Based Theorem Proving. Ph.D. Thesis, Department of Computer Science, University of Newcastle 1994