Sciweavers

409 search results - page 15 / 82
» Semantics for a theory of defeasible reasoning
Sort
View
RULEML
2005
Springer
15 years 5 months ago
Design and Implementation of an ECA Rule Markup Language
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
Marco Seiriö, Mikael Berndtsson
ICLP
2009
Springer
16 years 13 days ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
AI
1998
Springer
14 years 11 months ago
The Logical Foundations of Goal-Regression Planning in Autonomous Agents
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
John L. Pollock
SEMWEB
2007
Springer
15 years 6 months ago
Uncertain Reasoning for Creating Ontology Mapping on the Semantic Web
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
Miklos Nagy, Maria Vargas-Vera, Enrico Motta
IJCAI
1989
15 years 29 days ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade