1426 search results - page 78 / 286 » Specification of nonmonotonic reasoning |
150
click to vote
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
141
click to vote
FOIS
2006
15 years 6 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
139
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
157
click to vote
IJCAI
1989
15 years 5 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
141
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...