3658 search results - page 221 / 732 » The logic of proofs, semantically |
168
click to vote
IDC
2009
Springer
16 years 1 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
153
click to vote
ICWE
2004
Springer
16 years 23 hour ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
168
click to vote
KI
2009
Springer
15 years 11 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
172
click to vote
JUCS
2006
15 years 6 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
159
Voted
IGPL
2002
15 years 6 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...