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

Range-based argumentation semantics as two-valued models

Autoři: Osorio, Mauricio Nieves, Juan Carlos

Zdroj: Theory and Practice of Logic Programming. 17(1):75-90

Témata: Logic programming semantics, argumentation semantics, non-monotonic reasoning, Computer Science, datalogi

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-120745

On the equivalence between logic programming semantics and argumentation semantics

Autoři: Martin Caminada Samy Sá João Alcântara a další

Přispěvatelé: Martin Caminada Samy Sá João Alcântara a další

Zdroj: International Journal of Approximate Reasoning. 58:87-111

Témata: QA75, Abstract argumentation semantics, QA75 Electronic computers. Computer science, EP/J012084/1, 0102 computer and information sciences, 02 engineering and technology, abstract argumentation semantics, 01 natural sciences, 102031 Theoretische Informatik, Engineering and Physical Sciences Research Council (EPSRC), 102031 Theoretical computer science, 0202 electrical engineering, electronic engineering, information engineering, Logic programming semantics, logic programming semantics

Popis souboru: application/pdf

Přístupová URL adresa: https://ucrisportal.univie.ac.at/de/publications/0d68171c-f470-4c11-ad83-e66fb27ba4aa
https://doi.org/10.1016/j.ijar.2014.12.004

RTT+ – Time Validity Constraints in RTT Language

Autoři: Anna Felkner Adam Kozakiewicz

Zdroj: Journal of Telecommunications and Information Technology, Iss 2 (2012)

Témata: role-based trust management, set-theoretic semantics, inference system with time constraints, access control, Telecommunication, TK5101-6720, Information technology, T58.5-58.64, logic-programming semantics

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

A uniform approach to logic programming semantics

Autoři: Hitzler, Pascal Wendt, Matthias

Zdroj: Theory and Practice of Logic Programming. 5:93-121

Témata: ddc:004, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Databases and Information Systems, Bioinformatics, Computer Science - Artificial Intelligence, Programming Semantics, OS and Networks, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Social and Behavioral Sciences, Science and Technology Studies, Logic programming, 01 natural sciences, Fitting semantics, Physical Sciences and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, weak stratification, least model seman tics, I.2.4, Computer Sciences, D.1.6, Communication, DATA processing & computer science, Life Sciences, stable semantics, Logic Programming Semantics, well-founded semantics, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), F.4.1, Communication Technology and New Media, level mapping

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/cs/0210027
http://arxiv.org/abs/cs/0210027
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/uniform-approach-to-logic-programming-semantics/3E764B8E8721096701C35A304DFAFF6B
https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1044&context=cse
https://corescholar.libraries.wright.edu/cse/45/
https://dblp.uni-trier.de/db/journals/corr/corr0210.html#cs-AI-0210027
http://ui.adsabs.harvard.edu/abs/2002cs.......10027H/abstract
http://www.journals.cambridge.org/abstract_S1471068404002212

Semantics of (disjunctive) logic programs based on partial evaluation

Autoři: Stefan Brass Jürgen Dix

Zdroj: The Journal of Logic Programming. 40:1-46

Témata: Logic, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, logic programming semantics, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0743106698100304
https://dblp.uni-trier.de/db/journals/jlp/jlp40.html#BrassD99
http://www.sciencedirect.com/science/article/pii/S0743106698100304

The stable-abducible argumentation semantics

Autoři: Osorio, Mauricio Nieves Sánchez, Juan Carlos Carballido, José Luis a další

Přispěvatelé: Osorio, Mauricio Nieves Sánchez, Juan Carlos Carballido, José Luis a další

Témata: Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement, Argumentation framework, Arrgumentation semantics, Logic programming semantics, Programació lògica

Popis souboru: 12 p.; application/pdf

Relation: http://ceur-ws.org/Vol-804/; http://hdl.handle.net/2117/15273

Dostupnost: http://hdl.handle.net/2117/15273

A logic programming system for nonmonotonic reasoning

Autoři: Carlos Viegas Damásio José Júlio Alferes Luís Moniz Pereira

Zdroj: Journal of Automated Reasoning. 14:93-147

Témata: Knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Other nonclassical logic, Logic programming, logic programming semantics, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/759365
https://doi.org/10.1007/bf00883931
https://dblp.uni-trier.de/db/journals/jar/jar14.html#AlferesDP95
https://link.springer.com/article/10.1007/BF00883931

A Schema for Generating Update Semantics

Autoři: Jos´e Luis Carballido Carranza Claudia Zepeda Guillermo Flores

Témata: Update semantics, Logic Programming semantics, update properties

Relation: http://dx.doi.org/10.14569/IJACSA.2012.030324

Dostupnost: https://doi.org/10.14569/IJACSA.2012.030324

Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs

Autoři: COSTANTINI, STEFANIA PROVETTI A.

Zdroj: Lecture Notes in Computer Science ISBN: 9783642294488

Témata: 0202 electrical engineering, electronic engineering, information engineering, Graphic methods, Knowledge representation, Logic programming, Semantics, Software engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic Programming, Answer Set Programming, Graph Representations

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/chapter/10.1007/978-3-642-29449-5_3
https://rd.springer.com/chapter/10.1007/978-3-642-29449-5_3
https://link.springer.com/10.1007/978-3-642-29449-5_3
https://hdl.handle.net/2434/962284
https://doi.org/10.1007/978-3-642-29449-5_3
https://hdl.handle.net/11570/2431637
https://doi.org/10.1007/978-3-642-29449-5_3
https://hdl.handle.net/11697/27224
https://doi.org/10.1007/978-3-642-29449-5_3
http://www.scopus.com/inward/record.url?eid=2-s2.0-84862224672&partnerID=40&md5=4ca9d71e07887d5109ad8060beb9f410

Preferred arguments are harder to compute than stable extensions

Autoři: Dimopoulos, Yannis Nebel, B. Toni, F. a další

Přispěvatelé: Dimopoulos, Yannis Nebel, B. Toni, F. a další

Zdroj: IJCAI International Joint Conference on Artificial Intelligence
16th International Joint Conference on Artificial Intelligence, IJCAI 1999

Témata: Artificial intelligence, Abstract framework, Non-monotonic reasoning, Nonmonotonic, Logic programming semantics, Propositional logic, Default logic, Formal logic, Computational problem, Logic programming, Admissibility semantics, Semantics

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

Topology and Iterates in Computational Logic

Autoři: Anthony Karel Seda Pascal Hitzler The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Anthony Karel Seda Pascal Hitzler The Pennsylvania State University CiteSeerX Archives

Zdroj: http://euclid.ucc.ie/maths/staff/seda/htdocs/ticl.ps.gz.

Témata: Logic programming semantics, level mapping, generalized ultrametric space, domain, topological dynamics

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.3937; http://euclid.ucc.ie/maths/staff/seda/htdocs/ticl.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.3937
http://euclid.ucc.ie/maths/staff/seda/htdocs/ticl.ps.gz

Closures and fairness in the semantics of programming logic

Autoři: Jean-Louis Lassez Michael J. Maher

Zdroj: Theoretical Computer Science. 29:167-184

Témata: Specification and verification (program logics, model checking, etc.), SLD resolution, Logic programming, semantics, chaotic iterations, SLD resolution, finite failure, Prolog, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, fixed point theorems, Theoretical Computer Science, 0202 electrical engineering, electronic engineering, information engineering, logic programs, Abstract data types, algebraic specification, denotational semantics, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3872669
https://doi.org/10.1016/0304-3975(84)90017-3
https://dblp.uni-trier.de/db/journals/tcs/tcs29.html#LassezM84
https://core.ac.uk/display/82180823
https://www.sciencedirect.com/science/article/pii/0304397584900173

Generalized metrics and topology in logic programming semantics

Autoři: Hitzler, Pascal Seda, Tony

Přispěvatelé: Hitzler, Pascal Seda, Tony

Témata: Metrics, Topology, Logic programming semantics

Popis souboru: application/pdf

Relation: Enterprise Ireland (Grant SC/98/621); University College Cork (Department of Mathematics); Hitzler, P. 2001. Generalized metrics and topology in logic programming semantics. PhD Thesis, University College Cork.; 159; http://hdl.handle.net/10468/8001

Dostupnost: http://hdl.handle.net/10468/8001

A Schema for Generating Update Semantics

Autoři: José Luis Carballido Carranza Autónoma Puebla a další

Přispěvatelé: José Luis Carballido Carranza Autónoma Puebla a další

Zdroj: http://thesai.org/Downloads/Volume3No3/Paper24-A_Schema_for_Generating_Update_Semantics.pdf.

Témata: Logic Programming semantics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.757
http://thesai.org/Downloads/Volume3No3/Paper24-A_Schema_for_Generating_Update_Semantics.pdf

Abducible Semantics and Argumentation

Autoři: Osorio, M. Carballido, J. L. Zepeda, C.

Zdroj: Fundamenta Informaticae.

Témata: argumentation framework, argumentation semantics, logic programming semantics

Přístupová URL adresa: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-3344e865-e538-44f1-9fef-b9475c19a9b0

RTT+ - Time Validity Constraints in RTT Language

Autoři: Felkner, A. Kozakiewicz, A.

Zdroj: Journal of Telecommunications and Information Technology.

Témata: access control, inference system with time constraints, logic programming semantics, role-based trust management, set-theoretic semantics

Přístupová URL adresa: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-article-BATA-0016-0009

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory

Autoři: Nieves, J.C. Osorio, M. Zepeda, C.

Zdroj: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta Informaticae.

Témata: non-monotonic reasoning, extension-based argumentation semantics, logic programming semantics, Logic Programming (LP)

Přístupová URL adresa: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-article-BUS8-0012-0070

Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System

Autoři: Beckert, Bernhard Gore, Rajeev Schurmann, Carsten

Zdroj: CADE 2013

Témata: Keywords: First order logic; ITS applications; Standard definitions; Voting algorithm; Logic programming; Semantics; Algorithms, Conference paper

URL: http://hdl.handle.net/1885/66185
24th International Conference on Automated Deduction CADE-24

The stable-abducible argumentation semantics

Autoři: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic Osorio, Mauricio a další

Témata: Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement, Argumentation framework, Arrgumentation semantics, Logic programming semantics, Programació lògica, Conference report

URL: http://hdl.handle.net/2117/15273
http://ceur-ws.org/Vol-804/
http://ceur-ws.org/Vol-804

Reflection principles in computational logic

Autoři: Barklund, J Dell'Acqua, P

Témata: reflection; computational logic; knowledge represenation paradigms; logical frameworks; logic programming; SEMANTICS, Article in journal, info:eu-repo/semantics/article, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-36481
JOURNAL OF LOGIC AND COMPUTATION, 0955-792X, 2000, 10:6, s. 743-786