3845 search results - page 244 / 769 » Belief Logic Programming |
150
click to vote
JMLR
2006
15 years 6 months ago
2006
In this paper, we propose a new representation for physical control
169
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
195
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
189
click to vote
ICAIL
2005
ACM
16 years 2 days ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
203
click to vote
JAIR
2012
13 years 9 months 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...