4513 search results - page 88 / 903 » Logic programming with satisfiability |
113
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
128
click to vote
IJCAI
2001
15 years 4 months ago
2001
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
135
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
140
click to vote
ALT
2004
Springer
16 years 5 days ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
174
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...