Sciweavers

858 search results - page 48 / 172
» Planning and defeasible reasoning
Sort
View
86
Voted
AAAI
2006
15 years 2 months ago
Reasoning about Discrete Event Sources
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending ...
Shieu-Hong Lin
124
Voted
PADL
2004
Springer
15 years 6 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
ACL
1994
15 years 2 months ago
A Hybrid Reasoning Model for Indirect Answers
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
Nancy Green, Sandra Carberry
61
Voted
WCE
2007
15 years 1 months ago
An Agent's Action Selection Strategy by Using Case-based Reasoning and Simulated Vision
— This paper presents an approach to agent’s action selection strategy called stepwise case-based reasoning (SCBR). In this paper an agent that roams in 3D synthetic world is c...
Haris Supic
ASE
2006
122views more  ASE 2006»
15 years 23 days ago
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
Andrew Ireland, Jamie Stark