Works matching DE "LOGIC programming languages"

Results: 86

Parallel instantiation of ASP programs: techniques and experiments.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 2, p. 253, doi. 10.1017/S1471068411000652

By:

PERRI, SIMONA;
RICCA, FRANCESCO;
SIRIANNI, MARCO

Publication type:

Article

On the implementation of the probabilistic logic programming language ProbLog.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 2/3, p. 235, doi. 10.1017/S1471068410000566

By:

KIMMIG, ANGELIKA;
DEMOEN, BART;
DE RAEDT, LUC;
COSTA, VÍTOR SANTOS;
ROCHA, RICARDO

Publication type:

Article

The system Kato: Detecting cases of plagiarism for answer-set programs.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 759, doi. 10.1017/S1471068410000402

By:

Oetsch, Johannes;
Pührer, Jörg;
Schwengerer, Martin;
Tompits, Hans

Publication type:

Article

Testing and debugging techniques for answer set solver development.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 741, doi. 10.1017/S1471068410000396

By:

Brummayer, Robert;
Järvisalo, Matti

Publication type:

Article

Applying Prolog to develop distributed systems.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 691, doi. 10.1017/S1471068410000360

By:

Lopes, Nuno P.;
Navarro, Juan A.;
Rybalchenko, Andrey;
Singh, Atul

Publication type:

Article

Logic programming for finding models in the logics of knowledge and its applications: A case study.

Published in:

2010

By:

Baral, C.;
Gelfond, G.;
Pontelli, E.;
Son, T.

Publication type:

Case Study

Formalization of psychological knowledge in answer set programming and its application.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 725, doi. 10.1017/S1471068410000384

By:

Balduccini, Marcello;
Girotto, Sara

Publication type:

Article

A declarative semantics for CLP with qualification and proximity.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 627, doi. 10.1017/S1471068410000323

By:

Rodríguez-Artalejo, Mario;
Romero-Díaz, Carlos A.

Publication type:

Article

Decidability properties for fragments of CHR.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 611, doi. 10.1017/S1471068410000311

By:

Gabbrielli, Maurizio;
Mauro, Jacopo;
Meo, Maria Chiara;
Sneyers, Jon

Publication type:

Article

A complete and terminating execution model for Constraint Handling Rules.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 597, doi. 10.1017/S147106841000030X

By:

Betz, Hariolf;
Raiser, Frank;
Frühwirth, Thom

Publication type:

Article

FO(FD): Extending classical logic with rule-based fixpoint definitions.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 581, doi. 10.1017/S1471068410000293

By:

Ping Hou;
de Cat, Broes;
Denecker, Marc

Publication type:

Article

A program-level approach to revising logic programs under the answer set semantics.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 565, doi. 10.1017/S1471068410000281

By:

Delgrande, James P.

Publication type:

Article

Towards closed world reasoning in dynamic open worlds.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 547, doi. 10.1017/S147106841000027X

By:

Slota, Martin;
Leite, João

Publication type:

Article

Loop formulas for description logic programs.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 531, doi. 10.1017/S1471068410000268

By:

Yisong Wang;
Jia-Huai You;
Li Yan Yuan;
Yi-Dong Shen

Publication type:

Article

Catching the Ouroboros: On debugging non-ground answer-set programs.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 513, doi. 10.1017/S1471068410000256

By:

Oetsch, Johannes;
Pührer, Jörg;
Tompits, Hans

Publication type:

Article

A decidable subclass of finitary programs.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 481, doi. 10.1017/S1471068410000232

By:

Baselice, Sabrina;
Bonatti, Piero A.

Publication type:

Article

A translational approach to constraint answer set solving.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 465, doi. 10.1017/S1471068410000220

By:

Drescher, Christian;
Walsh, Toby

Publication type:

Article

Inference with constrained hidden Markov models in PRISM.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 449, doi. 10.1017/S1471068410000219

By:

Christiansen, Henning;
Have, Christian Theil;
Lassen, Ole Torp;
Petit, Matthieu

Publication type:

Article

CHR(PRISM)-based probabilistic logic learning.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 433, doi. 10.1017/S1471068410000207

By:

Sneyers, Jon;
Meert, Wannes;
Vennekens, Joost;
Kameya, Yoshitaka;
Sato, Taisuke

Publication type:

Article

Threads and or-parallelism unified.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 417, doi. 10.1017/S1471068410000190

By:

Costa, VÍtor Santos;
Dutra, Inês;
Rocha, Ricardo

Publication type:

Article

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 401, doi. 10.1017/S1471068410000189

By:

De Guzm'an, Pablo Chico;
Carro, Manuel;
Warren, David S.

Publication type:

Article

Transformations of logic programs on infinite lists.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 383, doi. 10.1017/S1471068410000177

By:

Pettorossi, Alberto;
Senni, Valerio;
Proietti, Maurizio

Publication type:

Article

Multivalued action languages with constraints in CLP(FD).

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 2, p. 167, doi. 10.1017/S1471068410000013

By:

Dovier, Agostino;
Formisano, Andrea;
Pontelli, Enrico

Publication type:

Article

Automated termination analysis for logic programs with cut.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 365, doi. 10.1017/S1471068410000165

By:

Schneider-Kamp, Peter;
Giesl, Jürgen;
Ströder, Thomas;
Serebrenik, Alexander;
Thiemann, René

Publication type:

Article

NP Datalog: A logic language for expressing NP search and optimization problems.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 2, p. 125, doi. 10.1017/S1471068409990251

By:

Greco, Sergio;
Molinaro, Cristian;
Trubitsyna, Irina;
Zumpano, Ester

Publication type:

Article

On the interaction between sharing and linearity.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 1, p. 49, doi. 10.1017/S1471068409990160

By:

Amato, Gianluca;
Scozzari, Francesca

Publication type:

Article

SWI-Prolog and the web.

Published in:

Theory & Practice of Logic Programming, 2008, v. 8, n. 3, p. 363, doi. 10.1017/S1471068407003237

By:

JAN WIELEMAKER;
ZHISHENG HUANG;
LOURENS VAN DER MEIJ

Publication type:

Article

Translating OWL and semantic web rules into prolog: Moving toward description logic programs.

Published in:

Theory & Practice of Logic Programming, 2008, v. 8, n. 3, p. 301, doi. 10.1017/S1471068407003249

By:

KEN SAMUEL;
LEO OBRST;
SUZETTE STOUTENBERG;
KAREN FOX;
PAUL FRANKLIN;
ADRIAN JOHNSON;
KEN LASKEY;
DEBORAH NICHOLS;
STEVE LOPEZ;
JASON PETERSON

Publication type:

Article

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.

Published in:

Theory & Practice of Logic Programming, 2007, v. 7, n. 6, p. 633, doi. 10.1017/S1471068406002985

By:

ENRICO PONTELLI;
KAREN VILLAVERDE;
HAI-FENG GUO;
GOPAL GUPTA

Publication type:

Article

Constraint functional logic programming over finite domains.

Published in:

Theory & Practice of Logic Programming, 2007, v. 7, n. 5, p. 537, doi. 10.1017/S1471068406002924

By:

FERNÁNDEZ, ANTONIO J.;
HORTALÁ-GONZÁLEZ, TERESA;
SÁENZ-PÉREZ, FERNANDO;
DEL VADO-VÍRSEDA, RAFAEL

Publication type:

Article

Incremental copying garbage collection for WAM-based Prolog systems.

Published in:

Theory & Practice of Logic Programming, 2007, v. 7, n. 5, p. 505, doi. 10.1017/S147106840600278X

By:

VANDEGINSTE, RUBEN;
DEMOEN, BART

Publication type:

Article

Embedding defeasible logic into logic programming.

Published in:

Theory & Practice of Logic Programming, 2006, v. 6, n. 6, p. 703, doi. 10.1017/S1471068406002778

By:

GRIGORIS ANTONIOU;
DAVID BILLINGTON;
GUIDO GOVERNATORI;
MICHAEL J. MAHER

Publication type:

Article

Improving PARMA trailing.

Published in:

Theory & Practice of Logic Programming, 2006, v. 6, n. 6, p. 609, doi. 10.1017/S1471068405002620

By:

TOM SCHRIJVERS;
BART DEMOEN;
MARIA GARCIA DE LA BANDA;
PETER J. STUCKEY

Publication type:

Article

Specialization of functional logic programs based on needed narrowing.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 3, p. 273, doi. 10.1017/S1471068404002303

By:

MARÍA ALPUENTE;
SALVADOR LUCAS;
GERMÁN VIDAL;
MICHAEL HANUS

Publication type:

Article

On applying or-parallelism and tabling to logic programs.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 1/2, p. 161, doi. 10.1017/S1471068404002030

By:

RICARDO ROCHA;
FERNANDO SILVA;
VÍTOR SANTOS COSTA

Publication type:

Article

cTI: a constraint-based termination inference tool for ISO-Prolog.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 1/2, p. 243, doi. 10.1017/S1471068404002017

By:

FRED MESNARD;
ROBERTO BAGNARA

Publication type:

Article

Defeasible logic programming: an argumentative approach.

Published in:

Theory & Practice of Logic Programming, 2004, v. 4, n. 1/2, p. 95

By:

ALEJANDRO J. GARCÍA;
GUILLERMO R. SIMARI

Publication type:

Article

Offline specialisation in Prolog using a hand-written compiler generator.

Published in:

Theory & Practice of Logic Programming, 2004, v. 4, n. 1/2, p. 139, doi. 10.1017/S1471068403001662

By:

MICHAEL LEUSCHEL;
JESPER JØRGENSEN;
WIM VANHOOF;
MAURICE BRUYNOOGHE

Publication type:

Article

An open ended tree.

Published in:

Theory & Practice of Logic Programming, 2003, v. 3, n. 3, p. 377, doi. 10.1017/S1471068402001618

By:

HENK VANDECASTEELE;
GERDA JANSSENS

Publication type:

Article

Automatic data aggregation for recursively modeled NFV services.

Published in:

International Journal of Network Management, 2018, v. 28, n. 2, p. 1, doi. 10.1002/nem.2009

By:

Cai, Xuejun;
John, Wolfgang;
Meirosu, Catalin

Publication type:

Article

Extended semantics and inference for the Independent Choice Logic.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 589, doi. 10.1093/jigpal/jzp025

By:

Riguzzi, Fabrizio

Publication type:

Article

A Hybrid Abductive Inductive Proof Procedure.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 371, doi. 10.1093/jigpal/12.5.371

By:

Ray, Oliver;
Broda, Krysia;
Russo, Alessandra

Publication type:

Article

CGLIBa constraint-based graphics library.

Published in:

Software: Practice & Experience, 2003, v. 33, n. 13, p. 1199, doi. 10.1002/spe.539

By:

Neng-Fa Zhou

Publication type:

Article

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently.

Published in:

Annals of Operations Research, 1994, v. 50, n. 1-4, p. 411, doi. 10.1007/BF02085650

By:

Menezes, Francisco;
Barahona, Pedro

Publication type:

Article

A LOGIC LANGUAGE FOR COMBINATORIAL OPTIMIZATION.

Published in:

Annals of Operations Research, 1989, v. 21, n. 1-4, p. 247, doi. 10.1007/BF02022102

By:

Van Hentenryck, Pascal

Publication type:

Article

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series.

Published in:

Journal of Artificial Intelligence Research, 2021, v. 70, p. 205, doi. 10.1613/jair.1.12395

By:

Bruto da Costa, Antonio Anastasio;
Dasgupta, Pallab

Publication type:

Article

Logic Programming: A Tool for MS/OR?

Published in:

Interfaces, 1986, v. 16, n. 5, p. 80, doi. 10.1287/inte.16.5.80

By:

Bharath, Ramachandran

Publication type:

Article

Conceptual Graphs and First Order Logic.

Published in:

Computer Journal, 2000, v. 43, n. 1, p. 1, doi. 10.1093/comjnl/43.1.1

By:

Amati, Gianni;
Ounis, Iadh

Publication type:

Article

Data structures for order-sensitive predicates in parallel nondeterministic systems.

Published in:

Acta Informatica, 2000, v. 37, n. 1, p. 21, doi. 10.1007/PL00013301

By:

Ranjan, Desh;
Pontelli, Enrico;
Gupta, Gopal

Publication type:

Article

Unification of XML Documents with Concurrent Markup.

Published in:

Literary & Linguistic Computing, 2005, v. 20, n. 1, p. 103, doi. 10.1093/llc/fqh046

By:

Witt, Andreas;
Goecke, Daniela;
Sasaki, Felix;
Lüngen, Harald

Publication type:

Article