Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 751 results
Sort by: relevance publication year
Showing results for ISSN matching 1529-3785

Inference of Field-Sensitive Reachability and Cyclicity

JOURNAL ARTICLE published August 2014 in ACM Transactions on Computational Logic

Authors: Damiano Zanardini | Samir Genaim

https://doi.org/10.1145/2629478 Actions

Degree lower bounds of tower-type for approximating formulas with parity quantifiers

JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic

Research funded by EPSRC (EP/H026835)

Authors: Albert Atserias | Anuj Dawar

https://doi.org/10.1145/2559948 Actions

Graph Reachability and Pebble Automata over Infinite Alphabets

JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic

Authors: Tony Tan

https://doi.org/10.1145/2499937.2499940 Actions

On the Power of Substitution in the Calculus of Structures

JOURNAL ARTICLE published 8 July 2015 in ACM Transactions on Computational Logic

Research funded by Ministry of Education and Science of Serbia (ON 174026) | ANR (2010-INTB-0202 STRUCTURAL)

Authors: Novak Novaković | Lutz Straßburger

https://doi.org/10.1145/2701424 Actions

A counterexample-guided abstraction-refinement framework for markov decision processes

JOURNAL ARTICLE published October 2010 in ACM Transactions on Computational Logic

Research funded by Division of Computing and Communication Foundations (CCF 0429639CCF 0448178CNS 0509321)

Authors: Rohit Chadha | Mahesh Viswanathan

https://doi.org/10.1145/1838552.1838553 Actions

Proof-complexity results for nonmonotonic reasoning

JOURNAL ARTICLE published July 2001 in ACM Transactions on Computational Logic

Authors: Uwe Egly | Hans Tompits

https://doi.org/10.1145/377978.377987 Actions

Unfolding partiality and disjunctions in stable model semantics

JOURNAL ARTICLE published January 2006 in ACM Transactions on Computational Logic

Authors: Tomi Janhunen | Ilkka Niemelä | Dietmar Seipel | Patrik Simons | Jia-Huai You

https://doi.org/10.1145/1119439.1119440 Actions

Power and Limits of Structural Display Rules

JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic

Research funded by Austrian Science Fund (FWF), START (Y544)

Authors: Agata Ciabattoni | Revantha Ramanayake

https://doi.org/10.1145/2874775 Actions

Verifying security protocols as planning in logic programming

JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic

Authors: Luigia Carlucci Aiello | Fabio Massacci

https://doi.org/10.1145/383779.383785 Actions

A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases

JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic

Research funded by Division of Computer and Network Systems (CNS1116050)

Authors: Jia Tao | Giora Slutzki | Vasant Honavar

https://doi.org/10.1145/2637477 Actions

Fuzzy Equilibrium Logic

JOURNAL ARTICLE published October 2012 in ACM Transactions on Computational Logic

Authors: Steven Schockaert | Jeroen Janssen | Dirk Vermeir

https://doi.org/10.1145/2362355.2362361 Actions

Interaction between path and type constraints

JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic

Authors: Peter Buneman | Wenfei Fan | Scott Weinstein

https://doi.org/10.1145/937555.937560 Actions

Locality of order-invariant first-order formulas

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Martin Grohe | Thomas Schwentick

https://doi.org/10.1145/343369.343386 Actions

Succinctness of Order-Invariant Logics on Depth-Bounded Structures

JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic

Authors: Kord Eickmeyer | Michael Elberfeld | Frederik Harwath

https://doi.org/10.1145/3152770 Actions

Taming Paraconsistent (and Other) Logics

JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic

Research funded by Israel Science Foundation (280-10)

Authors: Agata Ciabattoni | Ori Lahav | Lara Spendier | Anna Zamansky

https://doi.org/10.1145/2661636 Actions

Computing persistent homology within Coq/SSReflect

JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic

Authors: Jónathan Heras | Thierry Coquand | Anders Mörtberg | Vincent Siles

https://doi.org/10.1145/2528929 Actions

Belief Merging by Examples

JOURNAL ARTICLE published 28 March 2016 in ACM Transactions on Computational Logic

Authors: Paolo Liberatore

https://doi.org/10.1145/2818645 Actions

Mechanizing UNITY in Isabelle

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Lawrence C. Paulson

https://doi.org/10.1145/343369.343370 Actions

A dynamic approach to characterizing termination of general logic programs

JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic

Authors: Yi-Dong Shen | Jia-Huai You | Li-Yan Yuan | Samuel S. P. Shen | Qiang Yang

https://doi.org/10.1145/937555.937556 Actions

Super logic programs

JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic

Authors: Stefan Brass | Jürgen Dix | Teodor C. Przymusinski

https://doi.org/10.1145/963927.963931 Actions
Feedback: support@crossref.org