Sciweavers

654 search results - page 72 / 131
» Graph-based Knowledge Representation and Reasoning
Sort
View
ACL
1992
15 years 1 months ago
Using Classification to Generate Text
The IDAS natural-language generation system uses a KL-ONE type classifier to perform content determination, surface realisation, and part of text planning. Generation-by-classific...
Ehud Reiter, Chris Mellish
APIN
2004
89views more  APIN 2004»
14 years 11 months ago
A Prototypical System for Soft Evidential Update
Autonomous agents that communicate using probabilistic information and use Bayesian networks for knowledge representation need an update mechanism that goes beyond conditioning on ...
Young-Gyun Kim, Marco Valtorta, Jirí Vomlel
ICLP
2007
Springer
15 years 6 months ago
Advanced Techniques for Answer Set Programming
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
Martin Gebser
LPNMR
2007
Springer
15 years 6 months ago
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
Edgardo Ferretti, Marcelo Errecalde, Alejandro Jav...
CADE
1999
Springer
15 years 4 months ago
A PSpace Algorithm for Graded Modal Logic
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
Stephan Tobies