Prolog Technology for Default Reasoning (An Abridged Report)

Torsten Schaub, Stefan Brüning · European Conference on Artificial Intelligence · 1996

Explore this paper's citation graph

Type: article
Published: 1996-01-01
Cited by: 12
References: 0
OpenAlex: https://openalex.org/W2734898230
Semantic Scholar: https://api.semanticscholar.org/CorpusID:65454617

Keywords

Computer science, Artificial intelligence

References

No references recorded for this paper.

Cited by

Applications of Uncertainty FormalismsAnthony Hunter, Simon Parsons — 1998
Recovery of (Non)Monotonic TheoriesCees Witteveen, Wiebe van der Hoek — 1998
Default Databases: Extending the Approach of Deductive Databases Using Default LogicAnthony Hunter, Peter McBrien — 1998
A compositional reasoning system for executing nonmonotonic theories of reasoningJoeri Engelfriet, Jan Treur — 1997
Prolog Technology for Default Reasoning: Proof Theory and Compilation TechniquesTorsten Schaub, Stefan Brüning — 1998
Nonmonotonic Reasoning: Towards Efficient Calculi and ImplementationsJ. Dix, U. Furbach, I. Niemelä — 2001
Automating Default ReasoningI. Niemelä — 1999
An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluationTorsten Schaub, P. Nicolas — 1997
A Connection Calculus for Handling Incomplete InformationS. Brüning, Torsten Schaub — 2000
The XRay system: An implementation platform for local query-answering in default logicsP. Nicolas, Torsten Schaub — 1998
An Implementation Platform for Query-Answering in Default Logics: Theoretical UnderpinningsTorsten Schaub, P. Nicolas — 1997
Chapter 6 Nonmonotonic ReasoningG. Brewka, I. Niemelä, M. Truszczynski — 2008

Related papers

Implementation of Default Reasoning in PrologKohji Nakashima — 1997
A Logic for Default ReasoningRaymond Reiter — 1987
A new methodology for query answering in default logics via structure-oriented theorem provingTorsten Schaub — 1995
Default Reasoning in Information SystemsDirk Vermeir, Terry Halpin — 1995
Alternative Approaches to Default LogicJames P. Delgrande, Torsten Schaub, W. Ken Jackson — 1994
Cumulative Default Logic: In Defense of Nonmonotonic Inference RulesGerhard Brewka — 1991
A Logical System for Default ReasoningDavid Poole — 1984
DKLFRS: A default knowledge logical framework representation systemZhongchun Fan, Hancheng Xing — 2008