3546 search results - page 44 / 710 » A Causal Logic of Logic Programming |
129
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
145
Voted
ALT
2004
Springer
16 years 21 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...
133
click to vote
CLIMA
2011
14 years 3 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
180
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...
166
Voted
PLPV
2009
ACM
16 years 19 days ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...