3319 search results - page 354 / 664 » Subshifts, Languages and Logic |
209
click to vote
ACMICEC
2005
ACM
16 years 12 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
175
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
214
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
183
click to vote
TARK
2005
Springer
16 years 9 days ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
202
click to vote
COOPIS
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...