1313 search results - page 225 / 263 » Prioritized Reasoning in Logic Programming |
144
Voted
AAAI
1990
15 years 4 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
133
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
123
Voted
ICAI
2004
15 years 5 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
124
Voted
ASC
2006
15 years 5 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
145
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...