318 search results - page 1 / 64 » Temporal Disjunctive Logic Programming |
NGC
2000
Springer
13 years 10 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
AAAI
2006
14 years 9 days ago
2006
Several forms of reasoning in AI
ASP
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
JELIA
2010
Springer
13 years 9 months 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...
LPNMR
2001
Springer
14 years 3 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...