MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic Programming with Satisfiability" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

44 documents found, showing 1 through 10. Next 10 →

ATOM

Two-literal logic programs and satisfiability representation of stable models: A comparison
by Guan-shieng Huang, Xiumei Jia, Churn-jung Liau, Jia-huai You — 2002 — In Proc. 15th Canadian Conference on AI, LNCS
…Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison Guan…
Cited by 4 (2 self) – Add To MetaCart

Tight Logic Programs
by Esra Erdem, Vladimir Lifschitz
… on stable models, or answer sets. Francois Fages showed that if a logic program satisfies a certain…
Cited by 3 (1 self) – Add To MetaCart

Logic Program Synthesis
by Yves Deville, Kung-kiu Lau — 1993
… get a logic program satisfying the specification? Logic programming provides a uniquely nice…
Cited by 36 (11 self) – Add To MetaCart

Expanding Queries to Incomplete Databases By Interpolating General Logic Programs.
by Chitta Baral, Michael Gelfond, Olga Kosheleva — 1998
… programs. We develop an algorithm that given a general logic program (satisfying certain syntactic…
Cited by 3 (3 self) – Add To MetaCart

Probabilistic Logic Programming under Maximum Entropy
by Thomas Lukasiewicz, Gabriele Kern-isberner — 1999 — In Proc. ECSQARU-99, LNCS 1638
… probabilistic logic program is satisfiable. Finally, and as a central contribution of this paper, we introduce…
Cited by 15 (5 self) – Add To MetaCart

T.: Incremental answer sets and their computation
by Martin Gebser, Mona Gharib, Torsten Schaub — 2007 — In: Proceedings of the Fourth International Workshop on Answer Set Programming
… the ι-answer sets of a logic program that satisfy a given set of integrity constraints. Our algorithm…
Cited by 1 (1 self) – Add To MetaCart

Logical Constraints and Logic Programming
by V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
… constraints of the rules of the logic program are satisfied and hence which rules can fire at time n…
Cited by 5 (3 self) – Add To MetaCart

Meta-Reasoning in Executable Temporal Logic
by Howard Barringer, Michael Fisher, Oxford Road, Dov Gabbay, Anthony Hunter — 1991 — Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR
… is decidable, i.e. if a US-logic program is satisfiable, then a model for the program can be found through…
Cited by 33 (13 self) – Add To MetaCart

Probabilistic Logic Programming
by Thomas Lukasiewicz — 1998 — In Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98
… of deciding whether a probabilistic logic program is satisfiable. While classical logic programs (sets…
Cited by 30 (11 self) – Add To MetaCart

The Prioritized Inductive Logic Programs1
by Shilong Ma, Yuefei Sui, Ke Xu
… that the inductive logic programs satisfy the convergence. Given an inductive logic program A, if for every positive…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB