Sciweavers

3441 search results - page 304 / 689
» Knowledge Representation for Video
Sort
View
ICAIL
2005
ACM
16 years 7 days ago
Computational Law
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
Nathaniel Love, Michael R. Genesereth
AIIA
2005
Springer
16 years 7 days ago
Experiences with CiceRobot, a Museum Guide Cognitive Robot
Abstract. The paper describes CiceRobot, a robot based on a cognitive architecture for robot vision and action. The aim of the architecture is to integrate visual perception and ac...
Irene Macaluso, Edoardo Ardizzone, Antonio Chella,...
TABLEAUX
2005
Springer
16 years 5 days ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
CAISE
2004
Springer
16 years 2 days ago
Data Integration Using ID-Logic
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
Bert Van Nuffelen, Alvaro Cortés-Calabuig, ...
JELIA
2004
Springer
16 years 1 days ago
On the Relation Between ID-Logic and Answer Set Programming
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
Maarten Mariën, David Gilis, Marc Denecker