A Formal Theory of Justifications

Συγγραφείς: Denecker, Marc^Aff7, Brewka, Gerhard^Aff8, Strass, Hannes^Aff8

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Min, Richard^Aff17, Gupta, Gopal^Aff17

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: DeVries, Brian W., Gupta, Gopal, Hamlen, Kevin W., Moore, Scott, Sridhar, Meera

Πηγή: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security. :9-15

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1554339.1554342

Coalgebraic Derivations in Logic Programming

Συγγραφείς: Komendantskaya, Ekaterina, Power, John

Συνεισφορές: Ekaterina Komendantskaya and John Power

Θεματικοί όροι: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Brian W. Devries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.utdallas.edu/~kxh060100/plas09-devries.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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 ∗

Συγγραφείς: Ekaterina Komendantskaya, John Power

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://drops.dagstuhl.de/opus/volltexte/2011/3242/pdf/29.pdf.

Θεματικοί όροι: SLD-resolution, coalgebra, Lawvere theories, coinductive logic programming, concurrent logic programming Digital Object Identifier 10.4230/LIPIcs.CSL.2011.352

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Ajay Bansal, Richard Min, Gopal Gupta

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf.

Θεματικοί όροι: Coinduction, Coinductive Logic Programming, Answer Set Programming

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4607
http://www.utdallas.edu/~rkm010300/research/ETAPS2008.pdf