Suchergebnisse - "Logic Programming Semantics"

Range-based argumentation semantics as two-valued models

Autoren: Osorio, Mauricio Nieves, Juan Carlos

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

Schlagwörter: Logic programming semantics, argumentation semantics, non-monotonic reasoning, Computer Science, datalogi

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-120745

On the equivalence between logic programming semantics and argumentation semantics

Autoren: Martin Caminada Samy Sá João Alcântara et al.

Weitere Verfasser: Martin Caminada Samy Sá João Alcântara et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Anna Felkner Adam Kozakiewicz

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

Schlagwörter: 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

Zugangs-URL: https://doaj.org/article/e76d7911531a4e698c72d660b1aeb204

A uniform approach to logic programming semantics

Autoren: Hitzler, Pascal Wendt, Matthias

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

Schlagwörter: 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

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: 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

Autoren: Stefan Brass Jürgen Dix

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

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-URL: 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

Autoren: Osorio, Mauricio Nieves Sánchez, Juan Carlos Carballido, José Luis et al.

Weitere Verfasser: Osorio, Mauricio Nieves Sánchez, Juan Carlos Carballido, José Luis et al.

Schlagwörter: À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

Dateibeschreibung: 12 p.; application/pdf

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

Verfügbarkeit: http://hdl.handle.net/2117/15273

A logic programming system for nonmonotonic reasoning

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

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

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-URL: 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

Autoren: Jos´e Luis Carballido Carranza Claudia Zepeda Guillermo Flores

Schlagwörter: Update semantics, Logic Programming semantics, update properties

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

Verfügbarkeit: https://doi.org/10.14569/IJACSA.2012.030324

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

Autoren: COSTANTINI, STEFANIA PROVETTI A.

Quelle: Lecture Notes in Computer Science ISBN: 9783642294488

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Dimopoulos, Yannis Nebel, B. Toni, F. et al.

Weitere Verfasser: Dimopoulos, Yannis Nebel, B. Toni, F. et al.

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

Schlagwörter: Artificial intelligence, Abstract framework, Non-monotonic reasoning, Nonmonotonic, Logic programming semantics, Propositional logic, Default logic, Formal logic, Computational problem, Logic programming, Admissibility semantics, Semantics

Zugangs-URL: http://gnosis.library.ucy.ac.cy/handle/7/53874

Topology and Iterates in Computational Logic

Autoren: Anthony Karel Seda Pascal Hitzler The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Anthony Karel Seda Pascal Hitzler The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Logic programming semantics, level mapping, generalized ultrametric space, domain, topological dynamics

Dateibeschreibung: 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

Verfügbarkeit: 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

Autoren: Jean-Louis Lassez Michael J. Maher

Quelle: Theoretical Computer Science. 29:167-184

Schlagwörter: 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)

Dateibeschreibung: application/xml

Zugangs-URL: 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

Autoren: Hitzler, Pascal Seda, Tony

Weitere Verfasser: Hitzler, Pascal Seda, Tony

Schlagwörter: Metrics, Topology, Logic programming semantics

Dateibeschreibung: 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

Verfügbarkeit: http://hdl.handle.net/10468/8001

A Schema for Generating Update Semantics

Autoren: José Luis Carballido Carranza Autónoma Puebla et al.

Weitere Verfasser: José Luis Carballido Carranza Autónoma Puebla et al.

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

Schlagwörter: Logic Programming semantics

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Osorio, M. Carballido, J. L. Zepeda, C.

Quelle: Fundamenta Informaticae.

Schlagwörter: argumentation framework, argumentation semantics, logic programming semantics

Zugangs-URL: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-3344e865-e538-44f1-9fef-b9475c19a9b0

RTT+ - Time Validity Constraints in RTT Language

Autoren: Felkner, A. Kozakiewicz, A.

Quelle: Journal of Telecommunications and Information Technology.

Schlagwörter: access control, inference system with time constraints, logic programming semantics, role-based trust management, set-theoretic semantics

Zugangs-URL: 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

Autoren: Nieves, J.C. Osorio, M. Zepeda, C.

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

Schlagwörter: non-monotonic reasoning, extension-based argumentation semantics, logic programming semantics, Logic Programming (LP)

Zugangs-URL: 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

Autoren: Beckert, Bernhard Gore, Rajeev Schurmann, Carsten

Quelle: CADE 2013

Index Begriffe: 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

Autoren: 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 et al.

Index Begriffe: À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

Autoren: Barklund, J Dell'Acqua, P

Index Begriffe: 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