Sciweavers

734 search results - page 90 / 147
» A Question-Answering System Using Argumentation
Sort
View
AIPS
1994
13 years 11 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
QUESTA
2006
115views more  QUESTA 2006»
13 years 9 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
ISIPTA
2005
IEEE
131views Mathematics» more  ISIPTA 2005»
14 years 3 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
ICFP
1997
ACM
14 years 1 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
ARGMAS
2004
Springer
14 years 1 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