• Suche: "Logic programming languages"

Treffer 1 - 20 von 480

1

THE EARLY YEARS OF LOGIC PROGRAMMING.
Kowalski, Robert A.
Communications of the ACM. Jan1988, Vol. 31 Issue 1, p38-43. 6p.

PROLOG (Computer program... COMPUTER operating syste... INTELLIGENT agents ALGORITHMS LOGIC programming langua... PARSING (Computer gramma... …
Zeitschrift
Zu den Favoriten
2

A VIEW OF THE ORIGINS AND DEVELOPMENT OF PROLOG.
Cohen, Jacques
Communications of the ACM. Jan1988, Vol. 31 Issue 1, p26-36. 11p. 3 Charts.

PROLOG (Computer program... ARTIFICIAL intelligence COMPUTER operating syste... INTELLIGENT agents ALGORITHMS LOGIC programming langua... …
Zeitschrift
Zu den Favoriten
3

PARLOG86 AND THE DINING LOGICIANS.
Ringwood, G.A.
Communications of the ACM. Jan1988, Vol. 31 Issue 1, p10-25. 16p. 11 Diagrams, 1 Chart.

PROLOG (Computer program... ARTIFICIAL intelligence COMPUTER operating syste... INTELLIGENT agents ALGORITHMS AUTOMATION …
Zeitschrift
Zu den Favoriten
4

A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING.
Meyer, Bernd
Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p327-344. 18p. 3 Diagrams.

CONSTRAINT satisfaction LOGIC programming langua... COMPARATIVE grammar
Fachzeitschrift
Zu den Favoriten
5

SYMBOLIC CONSTRAINTS FOR META-LOGIC PROGRAMMING.
Christiansen, Henning ; Martinenghi, Davide
Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p345-367. 23p.

CONSTRAINT satisfaction LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
6

A PROLOG CONSTRAINT HANDLING RULES COMPILER AND RUNTIME SYSTEM.
Holzbaur, Christian ; Fruhwirth, Thom
Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p369-388. 20p. 2 Graphs.

CONSTRAINT satisfaction LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
7

Template programs for Disjunctive Logic Programming: An operational semantics.
Calimeri, Francesco ; Ianni, Giovambattista
AI Communications. 2006, Vol. 19 Issue 3, p193-206. 14p. 1 Illustration, 1 Diagram.

ALGORITHMS ARTIFICIAL intelligence LOGIC programming langua... COMPUTATIONAL complexity SEMANTICS
Fachzeitschrift
Zu den Favoriten
8

ACHILLES, TURTLE, AND UNDECIDABLE BOUNDEDNESS PROBLEMS FOR SMALL DATALOG PROGRAMS.
Marcinkowski, Jerzy
SIAM Journal on Computing. 1999, Vol. 29 Issue 1, p231. 27p.

MATHEMATICAL optimizatio... LOGIC programming langua... QUERY languages (Compute... DECIDABILITY (Mathematic...
Fachzeitschrift
Zu den Favoriten
9

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
Tarau, Paul
Electronic Proceedings in Theoretical Computer Science. 345:141-154

FOS: Computer and inform... Computer Science - Machi... Computer Science - Logic... embedded logic programmi... ground term fact databas... Computer Science - Progr... …
Fachzeitschrift
Zu den Favoriten
10

Programming with Term Logic.
Castro-Manzano, J. Martín ; Lozano-Cobos, L. Ignacio ; Reyes-Cárdenas, Paniel O.
BRAIN: Broad Research in Artificial Intelligence & Neuroscience. Sep2018, Vol. 9 Issue 3, p22-36. 15p. 1 Diagram, 16 Charts.

LOGIC programming langua... FUNCTOR theory ARISTOTELIANISM (Philoso...
Fachzeitschrift
Zu den Favoriten
11

ALTERNATING REGULAR TREE GRAMMARS IN THE FRAMEWORK OF LATTICE-VALUED LOGIC.
GHORANI, M. ; ZAHEDI, M. M.
Iranian Journal of Fuzzy Systems. Apr2016, Vol. 13 Issue 2, p71-94. 25p.

FINITE state machines LOGIC programming langua... FUZZY languages FUZZY logic DECISION theory
Fachzeitschrift
Zu den Favoriten
12

Learning Temporal Causal Sequence Relationships from Real-Time Time-Series.
Bruto da Costa, Antonio Anastasio ; Dasgupta, Pallab
Journal of Artificial Intelligence Research. 2021, Vol. 70, p205-243. 39p.

Decision trees Debugging Time series analysis Logic programming langua... Arithmetic
Fachzeitschrift
Zu den Favoriten
13

GUEST EDITORIAL.
Holzbaur, Christian ; Fruhwirth, Thom
Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p309-310. 2p.

CONSTRAINT satisfaction LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
14

DESIGN AND IMPLEMENTATION OF AN EDITOR/INTERPRETER FOR A VISUAL LOGIC PROGRAMMING LANGUAGE.
BANYASAD, OMID ; COX, PHILIP T.
International Journal of Software Engineering & Knowledge Engineering. Aug2013, Vol. 23 Issue 6, p801-838. 38p.

VISUAL programming langu... SYSTEMS design USER interfaces LOGIC programming langua... INTERPRETERS (Computer p... DEBUGGING …
Fachzeitschrift
Zu den Favoriten
15

Incremental Analysis of Constraint Logic Programs.
Hermenegildo, Manuel ; Puebla, German
ACM Transactions on Programming Languages & Systems. Mar2000, Vol. 22 Issue 2, p187. 37p. 6 Charts.

ALGORITHMS LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
16

Prolog's Control Constructs in a Functional Setting — Axioms and Implementation.
Hinze, Ralf
International Journal of Foundations of Computer Science. Apr2001, Vol. 12 Issue 2, p125. 46p.

PROLOG (Computer program... COMPUTER science LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
17

Extended semantics and inference for the Independent Choice Logic.
Riguzzi, Fabrizio
Logic Journal of the IGPL. Dec2009, Vol. 17 Issue 6, p589-629. 41p.

COMPUTER programming DISTRIBUTION (Probabilit... ALGORITHMS LOGIC programming LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
18

A Hybrid Abductive Inductive Proof Procedure.
Ray, Oliver ; Broda, Krysia ; Russo, Alessandra
Logic Journal of the IGPL. Sep2004, Vol. 12 Issue 5, p371-397. 27p.

PROGRAMMING languages COMPUTER programming LOGIC programming langua... LANGUAGE & logic SEMANTICS
Fachzeitschrift
Zu den Favoriten
19

TARILAN: an embedded functional data processing language.
De Bosschere, Koen
Journal of Systems & Software. Nov98, Vol. 43 Issue 2, p93. 10p.

PROGRAMMING languages COMPUTER software LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
20

Process-based parallel logic programming: A survey of the basic issues.
De Bosschere, Koen
Journal of Systems & Software. Oct97, Vol. 39 Issue 1, p71. 12p. 7 Diagrams, 5 Charts.

LOGIC programming langua...
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter