417 search results - page 49 / 84 » Results on Reasoning about Updates in Transaction Logic |
108
Voted
AI
2000
Springer
15 years 12 days ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
118
Voted
SCP
2010
14 years 11 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
104
Voted
IJCAI
2007
15 years 2 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
137
Voted
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
110
Voted
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...