3572 search results - page 15 / 715 » Nominal Logic Programming |
106
click to vote
JAIR
2012
13 years 17 days ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
ENTCS
2007
14 years 10 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
ICLP
1991
Springer
15 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
90
Voted
EUSFLAT
2009
14 years 8 months ago
2009
DLOG
2007
15 years 13 days ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...