Sciweavers

1966 search results - page 35 / 394
» Description Logics and Planning
Sort
View
FUIN
2008
116views more  FUIN 2008»
15 years 1 months ago
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
Jos de Bruijn, Stijn Heymans
ICECCS
1996
IEEE
107views Hardware» more  ICECCS 1996»
15 years 6 months ago
Toward a Recommended Practice for Architectural Description
The Architecture Planning Group (APG) was chartered by IEEE's Software Engineering Standards Committee to set a direction for incorporating architectural thinking into IEEE s...
Walter J. Ellis, Richard F. Hilliard II, Thomas F....
ECP
1997
Springer
68views Robotics» more  ECP 1997»
15 years 6 months ago
Ignoring Irrelevant Facts and Operators in Plan Generation
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...
Bernhard Nebel, Yannis Dimopoulos, Jana Koehler
AAAI
2011
14 years 1 months ago
Abductive Markov Logic for Plan Recognition
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...
Parag Singla, Raymond J. Mooney
AIR
2004
106views more  AIR 2004»
15 years 1 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti