813 search results - page 156 / 163 » Correctness Properties for Multiagent Systems |
LOGCOM
2000
14 years 11 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
100
click to vote
IMCSIT
2010
14 years 9 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
118
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—Statistical information extraction (IE) programs are increasingly used to build real-world IE systems such as Alibaba, CiteSeer, Kylin, and YAGO. Current statistical IE approach...
101
click to vote
CADE
2007
Springer
16 years 1 days ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
107
click to vote
CADE
2005
Springer
16 years 1 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...