884 search results - page 64 / 177 » Using Nested Logic Programs for Answer Set Programming |
113
click to vote
AAAI
2007
15 years 2 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
120
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
107
click to vote
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
120
click to vote
JLP
2011
14 years 6 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
AI
2010
Springer
14 years 12 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...