3319 search results - page 164 / 664 » Subshifts, Languages and Logic |
85
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
101
click to vote
CADE
2010
Springer
15 years 1 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
166
click to vote
HIS
2009
14 years 10 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
105
click to vote
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
84
Voted
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...