AI 2003 - PDF Preprint Papers

AI 2003 Australian Conference on Artificial Intelligence

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AI-2003 Paper

click to vote

AI
2003
Springer

157views Artificial Intelligence» more AI 2003»

A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases

14 years 5 months ago

Download www.cs.umanitoba.ca

This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...

Christel Kemke

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	157	A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases	claim
2	157	DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents	claim
3	154	Iterated Robust Tabu Search for MAX-SAT	claim
4	153	Summarizing Web Sites Automatically	claim
5	139	An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem	claim
6	138	Pattern-Based AI Scripting Using ScriptEase	claim
7	127	A Graph Based Backtracking Algorithm for Solving General CSPs	claim
8	124	Negotiating Exchanges of Private Information for Web Service Eligibility	claim
9	120	Efficient Mining of Indirect Associations Using HI-Mine	claim
10	118	Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness	claim
11	114	The Importance of Fine-Grained Cue Phrases in Scientific Citations	claim
12	111	Learning Coordination in RoboCupRescue	claim
13	109	Case Authoring from Text and Historical Experiences	claim
14	108	Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design	claim
15	102	The Virtual Driving Instructor Creating Awareness in a Multiagent System	claim
16	96	Answer Formulation for Question-Answering	claim
17	94	Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT	claim
18	92	Explanation-Oriented Association Mining Using a Combination of Unsupervised and Supervised Learning Algorithms	claim
19	90	An Unsupervised Clustering Algorithm for Intrusion Detection	claim
20	90	Multi-attribute Exchange Market: Theory and Experiments	claim
21	84	AUC: A Better Measure than Accuracy in Comparing Learning Algorithms	claim
22	81	Feature Selection Strategies for Text Categorization	claim
23	79	Probabilistic Reasoning in Bayesian Networks: A Relational Database Approach	claim
24	63	Enumerating the Preconditions of Agent Message Types	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers