Sciweavers

2599 search results - page 197 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
TSD
2005
Springer
15 years 12 months ago
A Theme Allocation for a Sentence Based on Head Driven Patterns
Since sentences are the basic propositional units of text, knowing their themes should help various tasks requiring the knowledge about the semantic content of text. In this paper,...
Bo-Yeong Kang, Sung-Hyon Myaeng
LPNMR
2007
Springer
16 years 16 days 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...
IVA
2010
Springer
15 years 4 months ago
Towards an Episodic Memory for Companion Dialogue
We present an episodic memory component for enhancing the dialogue of artificial companions with the capability to refer to, take up and comment on past interactions with the user...
Gregor Sieber, Brigitte Krenn
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
15 years 1 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
IJSI
2010
84views more  IJSI 2010»
15 years 4 months ago
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...