artificial intelligence

34

FLAIRS
2000

117views Artificial Intelligence» more FLAIRS 2000»

Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints

14 years 1 months ago

Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...

Ortrun Ibens

claim paper

Read More »

29

click to vote

FLAIRS
2000

134views Artificial Intelligence» more FLAIRS 2000»

Formal Software Development in the Verification Support Environment (VSE)

14 years 1 months ago

Download www.aaai.org

The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...

Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...

claim paper

Read More »

25

click to vote

FLAIRS
2000

86views Artificial Intelligence» more FLAIRS 2000»

Deriving Summaries Through an Identity-Based Approach

14 years 1 months ago

Download www.aaai.org

The existence of large datasets requires methods for producing simpler or summarized views of data. Typical approaches to summarization based on statistics do not capture complete...

Kathleen Hornsby

claim paper

Read More »

18

click to vote

FLAIRS
2000

89views Artificial Intelligence» more FLAIRS 2000»

Case Studies of Autonomy

14 years 1 months ago

Download www.cs.siu.edu

Autonomy is a quality for devices and creatures that perform tasks with relative independence from their designers and sources of authority. We discuss the idea and present two ca...

Henry Hexmoor

claim paper

Read More »

35

click to vote

FLAIRS
2000

86views Artificial Intelligence» more FLAIRS 2000»

Resolving Conflicts Among Actions in Concurrent Behaviors

14 years 1 months ago

Download www.aaai.org

A robotic agent must coordinate its coupled concurrent behaviors to produce a coherent response to stimuli. Reinforcement learning has been used extensively in coordinating sensin...

Henry Hexmoor

claim paper

Read More »

24

click to vote

FLAIRS
2000

88views Artificial Intelligence» more FLAIRS 2000»

Producing Modular Hybrid Rule Bases for Expert Systems

14 years 1 months ago

Download mmlab.ceid.upatras.gr

Ioannis Hatzilygeroudis, Jim Prentzas

claim paper

Read More »

49

click to vote

FLAIRS
2000

95views Artificial Intelligence» more FLAIRS 2000»

Mining Textual Answers with Knowledge-Based Indicators

14 years 1 months ago

Download www.aaai.org

This paper describes a knowledge-based methodologyof miningtextual answersinto large collections of texts. Wepresent SOMBRERO,a knowledge processing module implemented in the LASS...

Sanda M. Harabagiu, Marius Pasca

claim paper

Read More »

36

click to vote

FLAIRS
2000

89views Artificial Intelligence» more FLAIRS 2000»

Overriding the Experts: A Stacking Method for Combining Marginal Classifiers

14 years 1 months ago

Download www.aaai.org

The design of an optimal Bayesian classifier for multiple features is dependent on the estimation of multidimensional joint probability density functions and therefore requires a ...

Mark D. Happel, Peter Bock

claim paper

Read More »

33

click to vote

FLAIRS
2000

130views Artificial Intelligence» more FLAIRS 2000»

A Parallel Approach to Modeling Language Learning and Understanding in Young Children

14 years 1 months ago

Download www.eecs.wsu.edu

To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...

Charles Hannon, Diane J. Cook

claim paper

Read More »

29

click to vote

FLAIRS
2000

108views Artificial Intelligence» more FLAIRS 2000»

Validation of Cryptographic Protocols by Efficient Automated Testing

14 years 1 months ago