A Formal Theory of Justifications

Authors: Denecker, Marc^Aff7, Brewka, Gerhard^Aff8, Strass, Hannes^Aff8

Contributors: Goebel, Randy, Series editor^Aff1, Tanaka, Yuzuru, Series editor^Aff2, Wahlster, Wolfgang, Series editor^Aff3, Calimeri, Francesco, editor^Aff4, Ianni, Giovambattista, editor^Aff5, Truszczynski, Miroslaw, editor^Aff6

Source: Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. 9345:250-264

Coinductive Logic Programming with Negation

Authors: Min, Richard^Aff17, Gupta, Gopal^Aff17

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, De Schreye, Danny, editor^Aff16

Source: Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. 6037:97-112

ActionScript bytecode verification with co-logic programming

Authors: DeVries, Brian W., Gupta, Gopal, Hamlen, Kevin W., Moore, Scott, Sridhar, Meera

Source: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security. :9-15

Availability: http://dl.acm.org/doi/10.1145/1554339.1554342

Coalgebraic Derivations in Logic Programming

Authors: Komendantskaya, Ekaterina, Power, John

Contributors: Ekaterina Komendantskaya and John Power

Subject Terms: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

Availability: https://doi.org/10.4230/LIPIcs.CSL.2011.352
https://nbn-resolving.org/urn:nbn:de:0030-drops-32424
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352

ActionScript bytecode verification with co-logic programming

Authors: Brian W. Devries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.utdallas.edu/~kxh060100/plas09-devries.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Programming Languages, Software/Program Verification, D.4.6 [Operating Systems, Security and Protection—access controls, D.3.2 [Programming Languages, Language Classifications— constraint and logic languages General Terms Languages, Security Keywords ActionScript, Verification, Coinductive Logic Programming, Model Checking, In-lined Reference Monitoring

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.2643
http://www.utdallas.edu/~kxh060100/plas09-devries.pdf

Coalgebraic Derivations in Logic Programming ∗

Authors: Ekaterina Komendantskaya, John Power

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf.

Subject Terms: SLD-resolution, coalgebra, Lawvere theories, coinductive logic programming, concurrent logic programming Digital Object Identifier 10.4230/LIPIcs.CSL.2011.352

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.408
http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf

Goal-Directed Execution of Answer Set Programs

Authors: Ajay Bansal, Richard Min, Gopal Gupta

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf.

Subject Terms: Coinduction, Coinductive Logic Programming, Answer Set Programming

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4607; http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4607
http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf