4370 search results - page 71 / 874 » Algebra of Logic Programming |
139
Voted
FSS
2008
15 years 2 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
139
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
109
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
109
click to vote
JFLP
2002
15 years 2 months ago
2002
We consider prescriptive type systems for logic programs (as in G
150
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...