454 search results - page 21 / 91 » Representation results for defeasible logic |
122
click to vote
JACM
2010
14 years 11 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
132
click to vote
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
95
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order l...
128
click to vote
FLAIRS
2008
15 years 2 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
141
click to vote
AAAI
1996
15 years 1 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...