Results 301 to 310 of about 6,681,112 (349)

Diplomacy and domestic politics: the logic of two-level games

International Organization, 1988
R. Putnam
semanticscholar   +1 more source

Learning the Structure of Probabilistic Logic Programs

International Conference on Inductive Logic Programming, 2011
Elena Bellodi, Fabrizio Riguzzi
semanticscholar   +1 more source

Strongly equivalent logic programs

ACM Transactions on Computational Logic, 2001
V. Lifschitz, D. Pearce, A. Valverde
semanticscholar   +1 more source

A Temporal Logic of Nested Calls and Returns

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2004
R. Alur, K. Etessami, P. Madhusudan
semanticscholar   +1 more source

A Statistical Learning Method for Logic Programs with Distribution Semantics

International Conference on Logic Programming, 1995
Taisuke Sato
semanticscholar   +1 more source

Magic sets and other strange ways to implement logic programs (extended abstract)

ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1985
F. Bancilhon, D. Maier, Y. Sagiv, J. Ullman   +3 more
semanticscholar   +1 more source

On the Declarative Semantics of Deductive Databases and Logic Programs

Foundations of Deductive Databases and Logic Programming., 1988
Teodor C. Przymusinski
semanticscholar   +1 more source

Professionalism: The Third Logic

, 2001
E. Freidson
semanticscholar   +1 more source

Executing temporal logic programs

Seminar on Concurrency, 1986
Ben C. Moszkowski
semanticscholar   +1 more source

Logic programs with annotated disjunctions

Non-Monotonic Reasoning, 2004
Joost Vennekens, Sofie Verbaeten, M. Bruynooghe   +2 more
semanticscholar   +1 more source