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

Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

Autoři: Moura, João Manuel Gomes Damásio, Carlos RUN

Přispěvatelé: Moura, João Manuel Gomes Damásio, Carlos RUN

Témata: Logic Programming, Answer Set Programming, Paracoherence, Paraconsistency, Modular Logic Programming, Probabilistic Logic Programming, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10362/30470

Temporal reasoning in a logic programming language with modularity

Autoři: Nogueira, Vitor Beires

Témata: Temporal reasoning in AI, Model of time, Temporal databases, Modular logic programming

Relation: dep. ECT; vbn@uevora.pt; 283

Dostupnost: http://hdl.handle.net/10174/11138

A Modular Logic Approach for Expressing Web Services in XML Applying Dynamic Rules in XML

Autoři: Theodoros MITAKOS Ioannis ALMALIOTIS

Zdroj: Informatică economică, Vol 13, Iss 4, Pp 129-136 (2009)

Témata: Knowledge Management, XML, Modular Logic Programming, E-Services, Computer engineering. Computer hardware, TK7885-7895, Bibliography. Library science. Information resources

Popis souboru: electronic resource

Relation: http://revistaie.ase.ro/content/52/13%20-%20Mitakos.pdf; https://doaj.org/toc/1453-1305; https://doaj.org/toc/1842-8088

Přístupová URL adresa: https://doaj.org/article/da70e18a73714b2395ccb5730ac69df0

Promoting Modular Nonmonotonic Logic Programs

Autoři: Krennwallner, Thomas Thomas Krennwallner

Přispěvatelé: Krennwallner, Thomas Thomas Krennwallner

Témata: Knowledge Representation, Nonmonotonic Reasoning, Modular Logic Programming, Answer Set Programming

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.274

Dostupnost: https://doi.org/10.4230/LIPIcs.ICLP.2011.274
https://nbn-resolving.org/urn:nbn:de:0030-drops-31860
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.274

Combining Answer Set Programs for Adaptive and Reactive Reasoning

Autoři: Ribeiro, Tony Inoue, Katsumi Bourgne, Gauvain a další

Přispěvatelé: Ribeiro, Tony Inoue, Katsumi Bourgne, Gauvain a další

Zdroj: ISSN: 1471-0684.

Témata: Dynamic System, Meta-Reasoning, Modular Logic Programming, Answer Set Programming, Developement Tool, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]

Dostupnost: https://hal.science/hal-01562133
https://hal.science/hal-01562133v1/document
https://hal.science/hal-01562133v1/file/urn%3Acambridge.org%3Aid%3Abinary%3A20161018085635834-0697%3AS1471068413000112%3Atlp2013012.pdf

Modular nonmonotonic logic programming revisited

Autoři: Minh Dao-tran Thomas Eiter Michael Fink a další

Přispěvatelé: Minh Dao-tran Thomas Eiter Michael Fink a další

Zdroj: http://haendel.kr.tuwien.ac.at/staff/michael/research/iclp09a.pdf.

Témata: Key words, Knowledge Representation, Answer Set Programming, Modular Logic Programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9123; http://haendel.kr.tuwien.ac.at/staff/michael/research/iclp09a.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9123
http://haendel.kr.tuwien.ac.at/staff/michael/research/iclp09a.pdf

T.: Modular nonmonotonic logic programming revisited

Autoři: Minh Dao-tran Thomas Eiter Michael Fink a další

Přispěvatelé: Minh Dao-tran Thomas Eiter Michael Fink a další

Zdroj: http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/iclp2009-mlp.pdf.

Témata: Key words, Knowledge Representation, Answer Set Programming, Modular Logic Programming

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.3985
http://www.kr.tuwien.ac.at/staff/tkren/pub/2009/iclp2009-mlp.pdf

The top-down evaluation techniques for modular nonmonotonic logic programs

Autoři: Wijaya, Tri Kurniawan Eiter, Thomas TU Wien, Österreich a další

Přispěvatelé: Wijaya, Tri Kurniawan Eiter, Thomas TU Wien, Österreich a další

Témata: Wissensrepräsentation, Answer Set Programming, Modular Logic Programming, Knowledge Representation

Popis souboru: XI, 110 S.

Relation: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44298; http://hdl.handle.net/20.500.12708/9240; AC07811177; urn:nbn:at:at-ubtuw:1-44298

Dostupnost: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44298
https://hdl.handle.net/20.500.12708/9240

Optimizing Modular Logic Languages

Autoři: Michele Bugliesi Anna Ciampolini Evelina Lamma a další

Přispěvatelé: Michele Bugliesi Anna Ciampolini Evelina Lamma a další

Zdroj: http://www.dsi.unive.it/~michele/Papers/cs98.pdf.

Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program Transformation Additional Key Words and Phrases, Partial Deduction, Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199; http://www.dsi.unive.it/~michele/Papers/cs98.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199
http://www.dsi.unive.it/~michele/Papers/cs98.pdf

Modular Logic Programming and Generalized Quantifiers

Autoři: Thomas Eiter Georg Gottlob Helmut Veith a další

Přispěvatelé: Thomas Eiter Georg Gottlob Helmut Veith a další

Zdroj: http://www.kr.tuwien.ac.at/staff/eiter/et-archive/lpnmr97-mlp.ps.gz.

Témata: generalized quantifiers, modular logic programming, stratification, stable models, expressive power

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8239
http://www.kr.tuwien.ac.at/staff/eiter/et-archive/lpnmr97-mlp.ps.gz

Promoting Modular Nonmonotonic Logic Programs∗

Autoři: Thomas Krennwallner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thomas Krennwallner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/iclp2011dc-mlp.pdf.

Témata: Nonmonotonic Reasoning, Modular Logic Programming, Answer Set Programming

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8621
http://www.kr.tuwien.ac.at/staff/tkren/pub/2011/iclp2011dc-mlp.pdf

Informatica Economică vol. 13, no. 4/2009 129 A Modular Logic Approach for Expressing Web Services in XML Applying Dynamic Rules in XML

Autoři: Theodoros Mitakos Ioannis Almaliotis The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Theodoros Mitakos Ioannis Almaliotis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.revistaie.ase.ro/content/52/13 - mitakos.pdf.

Témata: Knowledge Management, XML, Modular Logic Programming, E-Services

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.2999
http://www.revistaie.ase.ro/content/52/13 - mitakos.pdf

Promoting Modular Nonmonotonic Logic Programs ∗

Autoři: Thomas Krennwallner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thomas Krennwallner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://drops.dagstuhl.de/opus/volltexte/2011/3186/pdf/29.pdf.

Témata: Nonmonotonic Reasoning, Modular Logic Programming, Answer Set Programming Digital Object Identifier 10.4230/LIPIcs.ICLP.2011.274

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.2708; http://drops.dagstuhl.de/opus/volltexte/2011/3186/pdf/29.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.2708
http://drops.dagstuhl.de/opus/volltexte/2011/3186/pdf/29.pdf

Denumerability operators and final failures of logic programs

Autoři: Usmanov, A. A. Zhelyabin, V. N.

Témata: Horn type logical programs, modular logic programming, Logic programming

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/732053