Sciweavers

7868 search results - page 335 / 1574
» Learning by Answer Sets
Sort
View
PRICAI
1998
Springer
15 years 10 months ago
Point-Based Approaches to Qualitative Temporal Reasoning
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
Tim Van Allen, James P. Delgrande, Arvind Gupta
PODC
1996
ACM
15 years 10 months ago
Fundamental Challenges in Mobile Computing
This paper is an answer to the question: "What is unique and conceptually different about mobile computing?" The paper begins by describing a set of constraints intrinsi...
Mahadev Satyanarayanan
DASFAA
2004
IEEE
95views Database» more  DASFAA 2004»
15 years 10 months ago
On Incorporating Iceberg Queries in Query Processors
Iceberg queries are a special case of SQL queries involving GROUP BY and HAVING clauses, wherein the answer set is small relative to the database size. We present here a performanc...
Krishna P. Leela, Pankaj M. Tolani, Jayant R. Hari...
AAAI
2008
15 years 9 months ago
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
Jia-Huai You, Guohua Liu
EUSFLAT
2007
131views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Fault Diagnosis with Progressive Symptoms Based on Multi-Agent Approach
The paper is devoted to fault diagnosis problems using fuzzy decision making. We investigate dynamic diagnostic systems which can be represented by symptom-fault rule bases. The m...
Oleksandr Sokolov, Michael Wagenknecht, Ulrike Goc...