Search Results - "declarative logic programming"
-
1
Authors: et al.
Source: The Journal of Supercomputing. 75:7750-7764
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Adaptive software Context-oriented programming Declarative Logic Programming
File Description: application/pdf
Access URL: https://arpi.unipi.it/bitstream/11568/930264/2/JOS_PaCT%2717-1.pdf
https://link.springer.com/article/10.1007/s11227-018-2603-3
https://arpi.unipi.it/bitstream/11568/930264/2/JOS_PaCT%2717-1.pdf
https://dblp.uni-trier.de/db/journals/tjs/tjs75.html#BodeiDFG19
https://arpi.unipi.it/handle/11568/930264
https://iris.imtlucca.it/handle/20.500.11771/12731
https://link.springer.com/article/10.1007/s11227-018-2603-3
https://doi.org/10.1007/s11227-018-2603-3
https://hdl.handle.net/11568/930264 -
2
Authors: Jason Morris
Source: SSRN Electronic Journal.
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Declarative logic programming language
File Description: application/pdf
Relation: Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.9
-
4
Authors: et al.
Source: Theory and Practice of Logic Programming. 8:129-165
Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, Deductive Database Systems, Answer Set Programming/Declarative Logic Programming, Recursive Queries, 0202 electrical engineering, electronic engineering, information engineering, Databases (cs.DB), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
5
Authors:
Source: The Journal of Logic Programming. :73-148
Subject Terms: Knowledge representation, Logic, knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, declarative logic programming
File Description: application/xml
Access URL: https://www.sciencedirect.com/science/article/pii/0743106694900256
https://asu.pure.elsevier.com/en/publications/logic -programming -and-knowledge-representation
http://www.sciencedirect.com/science/article/pii/0743106694900256
https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#BaralG94
https://core.ac.uk/display/23160995 -
6
Authors: et al.
Contributors: et al.
Subject Terms: intelligent agents, maintenance goals, maintainability, agent control, policy construction, declarative logic programming, SAT solving, computational complexity, discrete event dynamic systems
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: Answer Set Programming, Computational Complexity, Circular Module Dependencies, Declarative Logic Programming, Disjunctive Datalog, Knowledge Representation and Reasoning, Modular Programming, Nonmonotonic Reasoning, Stable Model Semantics
File Description: xvi, 293 Blätter
Relation: https://doi.org/10.34726/hss.2018.59982; http://hdl.handle.net/20.500.12708/5450; AC15177404; urn:nbn:at:at-ubtuw:1-114999
-
8
Authors:
Contributors:
Subject Terms: Recursion operators, Declarative logic programming, Duality theorem, Metalogic programming, Program flow analysis
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7882; http://www.dis.uu.se/~hamfelt/pub/JICSLP96.ps
-
9
Authors:
Contributors:
Source: Computer Systems Science and Engineering
Comput Syst Sci EngSubject Terms: Data structures, Declarative logic programming, Object oriented timed concurrent constraint programming (OO-TCCP), Real time systems, 02 engineering and technology, Modelling and Synchronisation of Multimedia Objects, Logic programming, Multimedia Programming, Declarative Programming, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Computer systems programming, (Applications of) Concurrent Constraint Programming, Constraint theory, Multimedia systems, Data flow analysis
Access URL: http://gnosis.library.ucy.ac.cy/handle/7/54730
Full Text Finder 
Nájsť tento článok vo Web of Science