3047 search results - page 13 / 610 » On the Meaning of Logical Completeness |
ATAL
2005
Springer
14 years 27 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
AGP
1997
IEEE
13 years 11 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
EUSFLAT
2009
13 years 5 months ago
2009
Herding is the process of bringing individuals (e.g. animals) together into a group. More specifically, we consider self
IJAIT
2006
13 years 7 months ago
2006
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...