AI 2004 - PDF Preprint Papers

AI 2004 Australian Conference on Artificial Intelligence

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AI-2004 Paper

click to vote

AI
2004
Springer

219views Artificial Intelligence» more AI 2004»

ASSAT: computing answer sets of a logic program by SAT solvers

13 years 4 months ago

Download www.cs.ust.hk

We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...

Fangzhen Lin, Yuting Zhao

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	219	ASSAT: computing answer sets of a logic program by SAT solvers	claim
2	187	Conditional logic of actions and causation	claim
3	180	Distributed Data Mining vs. Sampling Techniques: A Comparison	claim
4	174	Intrinsic Representation: Bootstrapping Symbols from Experience	claim
5	160	Qualitative choice logic	claim
6	158	Logic-based subsumption architecture	claim
7	157	Constraint Satisfaction Methods for Information Personalization	claim
8	156	Brain-actuated interaction	claim
9	153	A selective sampling approach to active feature selection	claim
10	146	A Hybrid Schema for Systematic Local Search	claim
11	144	Term-Based Clustering and Summarization of Web Page Collections	claim
12	140	A Principled Modular Approach to Construct Flexible Conversation Protocols	claim
13	138	The representation of planning strategies	claim
14	135	On Customizing Evolutionary Learning of Agent Behavior	claim
15	134	Knowledge Provenance	claim
16	134	Spatio-temporal Reasoning for Vague Regions	claim
17	133	Order-sorted logic programming with predicate hierarchy	claim
18	132	The Reconstruction of the Interleaved Sessions from a Server Log	claim
19	130	Efficient learning equilibrium	claim
20	128	An agenda-based framework for multi-issue negotiation	claim
21	126	On the revision of preferences and rational inference processes	claim
22	124	Extending Montague Semantics for Use in Natural-Language Database-Query Processing	claim
23	121	Complexity results for explanations in the structural-model approach	claim
24	119	The limitation of Bayesianism	claim
25	114	A framework for linguistic modelling	claim
26	113	Multi-attribute Decision Making in a Complex Multiagent Environment Using Reinforcement Learning with Selective Perception	claim
27	112	Hierarchical model-based diagnosis based on structural abstraction	claim
28	112	E-connections of abstract description systems	claim
29	111	A Decision-Theoretic Graphical Model for Collaborative Design on Supply Chains	claim
30	111	Fast and optimal decoding for machine translation	claim
31	110	An attempt to formalise a non-trivial benchmark problem in common sense reasoning	claim
32	105	Stable repeated strategies for information exchange between two autonomous agents	claim
33	105	A unifying semantics for time and events	claim
34	103	Towards Efficient Training on Large Datasets for Genetic Programming	claim
35	102	Updating beliefs with incomplete observations	claim
36	102	On the computational complexity of qualitative coalitional games	claim
37	100	Lifelong Planning A	claim
38	100	Optimizing the mutual intelligibility of linguistic agents in a shared world	claim
39	98	Using Language to Determine Success in Negotiations: A Preliminary Study	claim
40	98	Elaboration tolerance through object-orientation	claim
41	96	Version spaces and the consistency problem	claim
42	93	Comparing formal theories of context in AI	claim
43	92	Revision by comparison	claim
44	90	Incremental learning with partial instance memory	claim
45	86	Introduction: Progress in formal commonsense reasoning	claim
46	85	Theory revision with queries: Horn, read-once, and parity formulas	claim
47	85	Solving weighted CSP by maintaining arc consistency	claim
48	80	Compiling propositional weighted bases	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers