3047 search results - page 13 / 610 » On the Meaning of Logical Completeness |
94
Voted
ATAL
2005
Springer
15 years 6 months 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...
124
click to vote
FTRTFT
1998
Springer
15 years 4 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...
114
click to vote
AGP
1997
IEEE
15 years 4 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 ...
69
Voted
EUSFLAT
2009
14 years 10 months ago
2009
Herding is the process of bringing individuals (e.g. animals) together into a group. More specifically, we consider self
98
Voted
IJAIT
2006
15 years 20 days 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...