Výsledky vyhledávání - "Declarative Logic Programming"

Programming in a context-aware language

Autoři: Chiara Bodei Pierpaolo Degano Gian-Luigi Ferrari a další

Zdroj: The Journal of Supercomputing. 75:7750-7764

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Adaptive software Context-oriented programming Declarative Logic Programming

Popis souboru: application/pdf

Přístupová URL adresa: 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

Spreadsheets for Legal Reasoning: The Continued Promise of Declarative Logic Programming in Law

Autoři: Jason Morris

Zdroj: SSRN Electronic Journal.

Témata: Case Based Reasoning, Legal Technology, 0202 electrical engineering, electronic engineering, information engineering, Expert Systems, 06 humanities and the arts, 02 engineering and technology, 16. Peace & justice, 0603 philosophy, ethics and religion, Declarative Logic Programming

Přístupová URL adresa: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3577239

Uncanny Valleys in Declarative Language Design

Autoři: Miller, Mark S. von Dincklage, Daniel Ercegovac, Vuk a další

Přispěvatelé: Miller, Mark S. von Dincklage, Daniel Ercegovac, Vuk a další

Témata: Declarative logic programming language

Popis souboru: 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

Dostupnost: https://doi.org/10.4230/LIPIcs.SNAPL.2017.9
https://nbn-resolving.org/urn:nbn:de:0030-drops-71299
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.9

Experimenting with recursive queries in database and logic programming systems

Autoři: TERRACINA, Giorgio LEONE, Nicola LIO V a další

Zdroj: Theory and Practice of Logic Programming. 8:129-165

Témata: 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

Přístupová URL adresa: http://arxiv.org/pdf/0704.3157
http://arxiv.org/abs/0704.3157

Logic programming and knowledge representation

Autoři: Chitta Baral Michael Gelfond

Zdroj: The Journal of Logic Programming. :73-148

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: 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

Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Autoři: Chitta Baral Thomas Eiter Mutsumi Nakamura a další

Přispěvatelé: Chitta Baral Thomas Eiter Mutsumi Nakamura a další

Zdroj: http://www.public.asu.edu/~cbaral/papers/maint-oct1-04.pdf.

Témata: intelligent agents, maintenance goals, maintainability, agent control, policy construction, declarative logic programming, SAT solving, computational complexity, discrete event dynamic systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.524.1498

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.524.1498
http://www.public.asu.edu/~cbaral/papers/maint-oct1-04.pdf

Modular nonmonotonic logic programs

Autoři: Krennwallner, Thomas Eiter, Thomas TU Wien, Österreich

Přispěvatelé: Krennwallner, Thomas Eiter, Thomas TU Wien, Österreich

Témata: Answer Set Programming, Computational Complexity, Circular Module Dependencies, Declarative Logic Programming, Disjunctive Datalog, Knowledge Representation and Reasoning, Modular Programming, Nonmonotonic Reasoning, Stable Model Semantics

Popis souboru: 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

Dostupnost: https://doi.org/10.34726/hss.2018.59982
https://hdl.handle.net/20.500.12708/5450

Declarative Logic Programming with Primitive Recursive Relations on Lists

Autoři: Andreas Hamfelt Jørgen Fischer Nilsson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andreas Hamfelt Jørgen Fischer Nilsson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dis.uu.se/~hamfelt/pub/JICSLP96.ps.

Témata: Recursion operators, Declarative logic programming, Duality theorem, Metalogic programming, Program flow analysis

Popis souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7882
http://www.dis.uu.se/~hamfelt/pub/JICSLP96.ps

A multimedia programming model based on timed concurrent constraint programming

Autoři: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Přispěvatelé: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Zdroj: Computer Systems Science and Engineering
Comput Syst Sci Eng

Témata: 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

Přístupová URL adresa: http://gnosis.library.ucy.ac.cy/handle/7/54730