Výsledky vyhledávání - "Theory and practice of logic programming"

Upřesnit hledání
  1. 1

    Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3)

    Autoři: G. Delzanno S. Etalle GABBRIELLI, MAURIZIO

    Přístupová URL adresa: https://hdl.handle.net/11585/75586

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Theory and practice in logic programming

    Autoři: Robert A. Kowalski

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540559306

    Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/lpss/lpss92.html#Kowalski92
    https://rd.springer.com/chapter/10.1007/3-540-55930-2_1
    https://link.springer.com/chapter/10.1007%2F3-540-55930-2_1

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Special issue on 'Program development' in Theory and practice of logic programming (Vol 2(4&5))

    Autoři: Bruynooghe, M. Bruynooghe, Maurice Lau, Kung-Kiu

    Přispěvatelé: Bruynooghe, M. Bruynooghe, Maurice Lau, Kung-Kiu

    Témata: 4613 Theory of computation, Technology, Science & Technology, Computer Science, Theory & Methods, Logic, 4602 Artificial intelligence, Computer Science, 0801 Artificial Intelligence and Image Processing, Science & Technology - Other Topics, 0803 Computer Software, Computer Science, Software Engineering, 0802 Computation Theory and Mathematics, Computation Theory & Mathematics

    Přístupová URL adresa: https://lirias.kuleuven.be/handle/123456789/124879

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Theory and Practice of Logic Programming.

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:2083372&theme=nukat

    Full Text Finder Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  5. 5

    Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM

    Autoři: Georg Gottlob Andreas Pieris Marco Manna

    Zdroj: Theory and Practice of Logic Programming. 16:139-139

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

    Přístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/AC269F6BB5FDC2D6560DC9271F7C14E7/S1471068415000034a.pdf/div-class-title-combining-decidability-paradigms-for-existential-rules-theory-and-practice-of-logic-programming-corrigendum-div.pdf

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming

    Autoři: C. R. Ramakrishnan Andreas Podelski Michael Leuschel a další

    Zdroj: Theory and Practice of Logic Programming. 1:631-632

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Přístupová URL adresa: http://www.journals.cambridge.org/abstract_S1471068401001089
    https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/call-for-papers-verification-and-computational-logic-special-issue-of-theory-and-practice-of-logic-programming/5751CBEA4A76A6BD538C30FB2D2D3F8A

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Under consideration for publication in Theory and Practice of Logic Programming 1 Fuzzy Answer Sets Approximations

    Autoři: Mario Alviano The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Mario Alviano The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://lat.inf.tu-dresden.de/research/papers/2013/AlPe-TPLP13.pdf.

    Témata: Fuzzy logic, answer set programming, search-space pruning operators

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.656.335
    http://lat.inf.tu-dresden.de/research/papers/2013/AlPe-TPLP13.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    Under consideration for publication in Theory and Practice of Logic Programming 1 Truth versus Information in Logic Programming

    Autoři: Lee Naish Harald Søndergaard The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Lee Naish Harald Søndergaard The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf.

    Témata: Declarative debugging, information order, intended interpretation, logic program specification, many-valued logic, modes, program analysis, specification seman

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2481; http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.2481
    http://ww2.cs.mu.oz.au/~lee/papers/sem4lp/tplp.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Under consideration for publication in Theory and Practice of Logic Programming 1 On the Stable Model Semantics for Intensional Functions

    Autoři: Michael Bartholomew Joohyung Lee The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Michael Bartholomew Joohyung Lee The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://peace.eas.asu.edu/joolee/papers/onfsm-tplp.pdf.

    Témata: Answer Set Programming, Stable Models, Intensional Functions

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.3026
    http://peace.eas.asu.edu/joolee/papers/onfsm-tplp.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Additional services for Theory and Practice of Logic Programming

    Autoři: Carlo Zaniolo The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Carlo Zaniolo The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.cs.ucla.edu/~zaniolo/papers/S1471068413000380a.pdf.

    Témata: horn clauses, datalog, monotonic aggregates, stable models

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.5635; http://www.cs.ucla.edu/~zaniolo/papers/S1471068413000380a.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.5635
    http://www.cs.ucla.edu/~zaniolo/papers/S1471068413000380a.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    Under consideration for publication in Theory and Practice of Logic Programming 1 Transforming floundering into success

    Autoři: Lee Naish The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Lee Naish The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://ww2.cs.mu.oz.au/~lee/papers/flounder/paper.pdf.

    Témata: Floundering, delays, coroutining, program analysis, abstract interpretation, program

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.8994; http://ww2.cs.mu.oz.au/~lee/papers/flounder/paper.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.8994
    http://ww2.cs.mu.oz.au/~lee/papers/flounder/paper.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Under consideration for publication in Theory and Practice of Logic Programming 1 A Probabilistic Logic Programming Event Calculus

    Autoři: Anastasios Skarlatidis Er Artikis Georgios Paliouras a další

    Přispěvatelé: Anastasios Skarlatidis Er Artikis Georgios Paliouras a další

    Zdroj: http://users.iit.demokritos.gr/~a.artikis/publications/artikis-TPLP.pdf.

    Témata: Event Recognition, Event Pattern Matching, Event Calculus, ProbLog

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.418.3155
    http://users.iit.demokritos.gr/~a.artikis/publications/artikis-TPLP.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Under consideration for publication in Theory and Practice of Logic Programming 1 Annotating Answer-Set Programs in LANA∗

    Autoři: Marina De Vos Johannes Oetsch Jörg Pührer a další

    Přispěvatelé: Marina De Vos Johannes Oetsch Jörg Pührer a další

    Zdroj: http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2012.pdf.

    Témata: answer-set programming, program annotations, documentation, unit testing

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1833; http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2012.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1833
    http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2012.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Under consideration for publication in Theory and Practice of Logic Programming 1 Diagrammatic confluence for Constraint Handling Rules∗

    Autoři: Rémy Haemmerlé The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Rémy Haemmerlé The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.clip.dia.fi.upm.es/papers/Haemmerle12tplp.pdf.

    Témata: CHR, confluence, decreasing diagrams, modularity of confluence

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8462; http://www.clip.dia.fi.upm.es/papers/Haemmerle12tplp.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8462
    http://www.clip.dia.fi.upm.es/papers/Haemmerle12tplp.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there. Theory and Practice of Logic Programming

    Autoři: Michael Fink The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Michael Fink The Pennsylvania State University CiteSeerX Archives

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

    Témata: answer-set programming, unifor

    Popis souboru: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Under consideration for publication in Theory and Practice of Logic Programming 1 Expressiveness of Communication in Answer Set Programming

    Autoři: Kim Bauters Steven Schockaert Jeroen Janssen a další

    Přispěvatelé: Kim Bauters Steven Schockaert Jeroen Janssen a další

    Zdroj: http://www.cwi.ugent.be/kim/tplp2011.pdf.

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.9804; http://www.cwi.ugent.be/kim/tplp2011.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.9804
    http://www.cwi.ugent.be/kim/tplp2011.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Under consideration for publication in Theory and Practice of Logic Programming 1 Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

    Autoři: Fabrizio Riguzzi Terrance Swift Nova Lisboa a další

    Přispěvatelé: Fabrizio Riguzzi Terrance Swift Nova Lisboa a další

    Zdroj: http://www.cs.sunysb.edu/~tswift/webpapers/tplp-12-wd.pdf.

    Témata: Probabilistic Logic Programming, Tabling, Answer Subsumption, Logic Programs with Annotated Disjunction, Program Transformation

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.8685
    http://www.cs.sunysb.edu/~tswift/webpapers/tplp-12-wd.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

    Under consideration for publication in Theory and Practice of Logic Programming 1 On Elementary Loops of Logic Programs

    Autoři: Martin Gebser Joohyung Lee Yuliya Lierler a další

    Přispěvatelé: Martin Gebser Joohyung Lee Yuliya Lierler a další

    Zdroj: http://peace.eas.asu.edu/joolee/papers/esdp.pdf.

    Témata: stable model semantics, loop formulas, unfounded sets

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2588; http://peace.eas.asu.edu/joolee/papers/esdp.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.2588
    http://peace.eas.asu.edu/joolee/papers/esdp.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    Under consideration for publication in Theory and Practice of Logic Programming 1 Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs

    Autoři: Johannes Oetsch Jörg Pührer Hans Tompits a další

    Přispěvatelé: Johannes Oetsch Jörg Pührer Hans Tompits a další

    Zdroj: http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2010debug.pdf.

    Témata: answer-set programming, program analysis, debugging

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.5533; http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2010debug.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.5533
    http://www.kr.tuwien.ac.at/research/projects/mmdasp/iclp2010debug.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    To appear in Theory and Practice of Logic Programming (TPLP) 1 Fuzzy Linguistic Logic Programming and its Applications

    Autoři: Van Hung Le Fei Liu The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Van Hung Le Fei Liu The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://arxiv.org/pdf/0904.0589v1.pdf.

    Témata: Fuzzy logic programming, hedge algebra, linguistic value, linguistic hedge, computing with words

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.7600; http://arxiv.org/pdf/0904.0589v1.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.7600
    http://arxiv.org/pdf/0904.0589v1.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: