597 search results - page 33 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
90
Voted
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
126
Voted
JLP
2000
15 years 2 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
149
Voted
DOOD
1991
Springer
15 years 6 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
134
Voted
IWFM
2000
15 years 4 months ago
2000
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...
158
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...