77 search results - page 1 / 16 » Description Logic Programs: Normal Forms |
114
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
113
Voted
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
146
click to vote
JELIA
2010
Springer
15 years 17 days ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
88
Voted
ILP
1997
Springer
15 years 6 months ago
1997
Springer
AAAI
2008
15 years 4 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...