Sciweavers

1097 search results - page 6 / 220
» Revision Programming = Logic Programming Integrity Constra...
Sort
View
152
Voted
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 12 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
AAAI
2008
15 years 7 months ago
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
Anbu Yue, Weiru Liu
134
Voted
EPIA
2005
Springer
15 years 10 months ago
Revised Stable Models - A Semantics for Logic Programs
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
Luís Moniz Pereira, Alexandre Miguel Pinto
FLAIRS
1998
15 years 6 months ago
Incorporating Specificity in Extended Logic Programs for Belief Revision
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Berilhes Borges Garcia, José Gabriel Pereir...
142
Voted
CONSTRAINTS
1999
111views more  CONSTRAINTS 1999»
15 years 4 months ago
Scheduling Sport Tournaments using Constraint Logic Programming
Andrea Schaerf