Sciweavers

239 search results - page 22 / 48
» A Viewpoint-Based Framework for Discussing the Use of Multip...
Sort
View
ECP
1997
Springer
130views Robotics» more  ECP 1997»
13 years 11 months ago
Encoding Planning Problems in Nonmonotonic Logic Programs
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler
BALT
2006
13 years 11 months ago
On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
Giancarlo Guizzardi
ICGI
1998
Springer
13 years 11 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier
COMMA
2010
13 years 2 months ago
Base Logics in Argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
Anthony Hunter
ICCV
2003
IEEE
14 years 25 days ago
Unsupervised Non-parametric Region Segmentation Using Level Sets
We present a novel non-parametric unsupervised segmentation algorithm based on Region Competition [21]; but implemented within a Level Sets framework [11]. The key novelty of the ...
Timor Kadir, Michael Brady