214 search results - page 30 / 43 » A tutorial on default logics |
122
click to vote
APIN
1999
15 years 2 months ago
1999
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
147
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
143
click to vote
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
152
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
FLAIRS
1998
15 years 3 months ago
1998
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...