Sciweavers

734 search results - page 90 / 147
» A Question-Answering System Using Argumentation
Sort
View
164
Voted
AIPS
1994
15 years 7 months ago
Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
George Ferguson, James F. Allen
142
Voted
QUESTA
2006
115views more  QUESTA 2006»
15 years 6 months ago
Analyzing priority queues with 3 classes using tree-like processes
In this paper we demonstrate how tree-like processes can be used to analyze a general class of priority queues with three service classes, creating a new methodology to study prio...
Benny Van Houdt, Chris Blondia
150
Voted
ISIPTA
2005
IEEE
131views Mathematics» more  ISIPTA 2005»
15 years 11 months ago
The Logical Concept of Probability and Statistical Inference
A consistent concept of logical probability affords the employment of interval probability. Such a concept which attributes probability to arguments consisting of premise and con...
Kurt Weichselberger
214
Voted
ICFP
1997
ACM
15 years 10 months ago
Foundations for the Implementation of Higher-Order Subtyping
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
Karl Crary
148
Voted
ARGMAS
2004
Springer
15 years 10 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed