Juan Antonio Navarro Pérez

Nikos Gorogiannis

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Planning with Effectively Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

Separation Logic Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

The spread of media content through blogs.

[BibT_eX]

[DOI]

Meeyoung Cha

Hamed Haddadi

Soc. Netw. Anal. Min., 2012

2011

Separation logic + superposition calculus = heap theorem prover.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Applying Prolog to develop distributed systems.

[BibT_eX]

[DOI]

Nuno P. Lopes

Atul Singh

Theory Pract. Log. Program., 2010

2009

Operational Semantics for Declarative Networking.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2009

Cardinality Abstraction for Declarative Networking Applications.

[BibT_eX]

[DOI]

Atul Singh

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Proof Systems for Effectively Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Encodings of Problems in Effectively Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Encodings of Bounded LTL Model Checking in Effectively Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2006

Logics with Common Weak Completions.

[BibT_eX]

[DOI]

Mauricio Javier Osorio Galindo

José R. Arrazola Ramírez

Verónica Borja Macías

J. Log. Comput., 2006

2005

Ground Nonmonotonic Modal Logic S5: New Results.

[BibT_eX]

[DOI]

José R. Arrazola Ramírez

Verónica Borja Macías

J. Log. Comput., 2005

Safe beliefs for propositional theories.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2005

Generation of Hard Non-Clausal Random Satisfiability Problems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Applications of Intuitionistic Logic in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

Computing Preferred Safe Beliefs.

[BibT_eX]

[DOI]

Luis A. Montiel

Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2004

Answer Set Programming and S4.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

2002

A logical approach to A-Prolog.

[BibT_eX]

[DOI]

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

Debugging in A-Prolog: A Logical Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Equivalence in Answer Set Programming.

[BibT_eX]

[DOI]