Works matching DE "LOGIC programming languages"

Results: 86

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

ALTERNATING REGULAR TREE GRAMMARS IN THE FRAMEWORK OF LATTICE-VALUED LOGIC.

Published in:

Iranian Journal of Fuzzy Systems, 2016, v. 13, n. 2, p. 71

By:

GHORANI, M.;
ZAHEDI, M. M.

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

Logics with definitional reflection rules.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1523, doi. 10.1093/logcom/exw013

By:

NORIHIRO KAMIDE

Publication type:

Article

Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 4, doi. 10.1093/logcom/11.4.499

By:

May, Wolfgang;
Kandzia, Paul&hyphen;Thomas

Publication type:

Article

A systems theoretic approach to the design and implementation of a solver component for a management information system.

Published in:

International Journal of General Systems, 2004, v. 33, n. 1, p. 71, doi. 10.1080/0308107032000141055

By:

Takahara, Yasuhiko;
Liu, Yongmei;
Yano, Yoshio

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

Integrating knowledge representation and reasoning in Geographical Information Systems.

Published in:

International Journal of Geographical Information Science, 2004, v. 18, n. 4, p. 417, doi. 10.1080/13658810410001672908

By:

Mancarella, P.;
RaffaetÀ, A.;
Renso, C.;
Turini, F.

Publication type:

Article

Knowledge-Based Systems: A Qualitative Formalism.

Published in:

Qualitative Sociology, 1986, v. 9, n. 3, p. 256, doi. 10.1007/BF00988401

By:

Brent Jr, Edward E.

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

Programming with Term Logic.

Published in:

BRAIN: Broad Research in Artificial Intelligence & Neuroscience, 2018, v. 9, n. 3, p. 22

By:

Castro-Manzano, J. Martín;
Lozano-Cobos, L. Ignacio;
Reyes-Cárdenas, Paniel O.

Publication type:

Article

DESIGN AND IMPLEMENTATION OF AN EDITOR/INTERPRETER FOR A VISUAL LOGIC PROGRAMMING LANGUAGE.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 6, p. 801, doi. 10.1142/S0218194013500216

By:

BANYASAD, OMID;
COX, PHILIP T.

Publication type:

Article

Prolog's Control Constructs in a Functional Setting — Axioms and Implementation.

Published in:

International Journal of Foundations of Computer Science, 2001, v. 12, n. 2, p. 125, doi. 10.1142/S0129054101000436

By:

Hinze, Ralf

Publication type:

Article

Biomolecular computing: Molecules that reason.

Published in:

2009

By:

Stefanovic, Darko

Publication type:

Opinion

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

Online Bayesian inference for the parameters of PRISM programs.

Published in:

Machine Learning, 2012, v. 89, n. 3, p. 279, doi. 10.1007/s10994-012-5305-8

By:

Cussens, James

Publication type:

Article

Applying the information bottleneck to statistical relational learning.

Published in:

Machine Learning, 2012, v. 86, n. 1, p. 89, doi. 10.1007/s10994-011-5247-6

By:

Riguzzi, Fabrizio;
Di Mauro, Nicola

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

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

GUEST EDITORIAL.

Published in:

2000

By:

Holzbaur, Christian;
Fruhwirth, Thom

Publication type:

Editorial

A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING.

Published in:

Applied Artificial Intelligence, 2000, v. 14, n. 4, p. 327, doi. 10.1080/088395100117025

By:

Meyer, Bernd

Publication type:

Article

SYMBOLIC CONSTRAINTS FOR META-LOGIC PROGRAMMING.

Published in:

Applied Artificial Intelligence, 2000, v. 14, n. 4, p. 345, doi. 10.1080/088395100117034

By:

Christiansen, Henning;
Martinenghi, Davide

Publication type:

Article

A PROLOG CONSTRAINT HANDLING RULES COMPILER AND RUNTIME SYSTEM.

Published in:

Applied Artificial Intelligence, 2000, v. 14, n. 4, p. 369, doi. 10.1080/088395100117043

By:

Holzbaur, Christian;
Fruhwirth, Thom

Publication type:

Article

Escape from Zurg: an exercise in logic programming.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 3, p. 253, doi. 10.1017/s0956796804005040

By:

MARTIN ERWIG

Publication type:

Article

Logic Programming in Perl.

Published in:

Perl Review, 2005, v. 2, n. 0, p. 19

By:

Poe, Curtis "Ovid"

Publication type:

Article

An Introduction to Language Processing with Perl and Prolog.

Published in:

2010

By:

Cicekli, Ilyas

Publication type:

Book Review

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

Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective.

Published in:

Knowledge Engineering Review, 2004, v. 19, n. 3, p. 213, doi. 10.1017/s0269888905000263

By:

SENG W LOKE

Publication type:

Article

Sistemas basados en conocimiento usando Prolog.

Published in:

Revista Cubana de Ciencias Informáticas, 2007, v. 1, n. 3, p. 4

By:

Valdivia, Zenaida García;
Cruz, Isis Bonet;
Pérez, Pedro Piñero;
Espinosa, Maikel León

Publication type:

Article

Proving Arrow’s theorem by PROLOG.

Published in:

Computational Economics, 2007, v. 30, n. 1, p. 57, doi. 10.1007/s10614-007-9086-2

By:

Indo, Kenryo

Publication type:

Article

A Logical Approach for Implementing Dynamic Business Rules.

Published in:

Contemporary Management Research, 2010, v. 6, n. 1, p. 29, doi. 10.7903/cmr.2584

By:

Karami, Nasser;
Junichi Iijima

Publication type:

Article

Template programs for Disjunctive Logic Programming: An operational semantics.

Published in:

AI Communications, 2006, v. 19, n. 3, p. 193

By:

Calimeri, Francesco;
Ianni, Giovambattista

Publication type:

Article

Context-based statistical relational learning.

Published in:

AI Communications, 2006, v. 19, n. 3, p. 291

By:

Tian, Yonghong

Publication type:

Article

A Prolog Simulator for Deterministic P Systems with Active Membranes.

Published in:

New Generation Computing, 2004, v. 22, n. 4, p. 349, doi. 10.1007/BF03037286

By:

Cordón-Franco, Andrés;
Gutiérrez-Naranjo, Miguel A.;
Pérez-Jiménez, mario J.;
Sancho-Caparrini, Fernando

Publication type:

Article

Resolution for Label-based Formulas in Hierarchical Representation.

Published in:

New Generation Computing, 2004, v. 22, n. 3, p. 253, doi. 10.1007/BF03040963

By:

Kaneiwa, Ken

Publication type:

Article

Functional description of geoprocessing services as conjunctive datalog queries.

Published in:

GeoInformatica, 2011, v. 15, n. 1, p. 191, doi. 10.1007/s10707-009-0093-4

By:

Fitzner, Daniel;
Hoffmann, Jörg;
Klien, Eva

Publication type:

Article

Natural language processing: a prolog perspective.

Published in:

Artificial Intelligence Review, 2010, v. 33, n. 1/2, p. 151, doi. 10.1007/s10462-009-9151-4

By:

Bitter, Christian;
Elizondo, David A.;
Yingjie Yang

Publication type:

Article

Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.

Published in:

Artificial Intelligence Review, 2004, v. 22, n. 1, p. 3, doi. 10.1023/B:AIRE.0000044296.89727.ff

By:

Baldoni, Matteo;
Baroglio, Cristina;
Patti, Viviana

Publication type:

Article

Computing LP<sup>MLN</sup> using ASP and MLN solvers.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 942, doi. 10.1017/S1471068417000400

By:

JOOHYUNG LEE;
TALSANIA, SAMIDH;
YI WANG

Publication type:

Article

The intricacies of three-valued extensional semantics for higher-order logic programs.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 974, doi. 10.1017/S1471068417000357

By:

RONDOGIANNIS, PANOS;
SYMEONIDOU, IOANNA

Publication type:

Article

TLP volume 16 issue 5-6 Cover and Front matter.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. f1, doi. 10.1017/S147106841600051X

By:

Carro, Manuel;
King, Andy

Publication type:

Article

Using linear constraints for logic program termination analysis.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 353, doi. 10.1017/S1471068416000077

By:

CALAUTTI, MARCO;
GRECO, SERGIO;
MOLINARO, CRISTIAN;
TRUBITSYNA, IRINA

Publication type:

Article

A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 649, doi. 10.1017/S147106841400026X

By:

PIMENTEL, ELAINE;
OLARTE, CARLOS;
NIGAM, VIVEK;
Leuschel, Michael;
Schrijvers, Tom

Publication type:

Article

A Linear Logic Programming Language for Concurrent Programming over Graph Structures.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 493, doi. 10.1017/S1471068414000167

By:

CRUZ, FLAVIO;
ROCHA, RICARDO;
GOLDSTEIN, SETH COPEN;
PFENNING, FRANK;
Leuschel, Michael;
Schrijvers, Tom

Publication type:

Article

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

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