Browse by UCL people
Group by: Type | Date
Number of items: 17.
Article
Cha, M;
Pérez, JAN;
Haddadi, H;
(2012)
The spread of media content through blogs.
Social Network Analysis and Mining
, 2
(3)
249 - 264.
10.1007/s13278-011-0040-x.
|
 |
|
Lopes, NP;
Pérez, JAN;
Rybalchenko, A;
Singh, A;
(2010)
Applying Prolog to develop distributed systems.
Theory and Practice of Logic Programming
, 10
(4-6)
691 - 707.
10.1017/S1471068410000360.
|
|
|
Navarro Peŕez, JA;
Rybalchenko, A;
(2013)
Separation logic modulo theories.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, 8301
90 - 106.
10.1007/978-3-319-03542-0_7.
|
|
|
Osorio, M;
Pérez, JAN;
Arrazola, J;
(2002)
A logical approach to A-Prolog.
Electronic Notes in Theoretical Computer Science
, 67
284 - 295.
10.1016/S1571-0661(04)80554-1.
|
|
Book chapter
|
Navarro-Pérez, JA;
Voronkov, A;
(2007)
Encodings of bounded LTL model checking in effectively propositional logic.
In:
Automated Deduction – CADE-21. 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings.
(346 - 361).
Springer Berlin Heidelberg
|
|
|
Navarro-Pérez, JA;
Voronkov, A;
(2007)
Encodings of problems in effectively propositional logic.
In:
Theory and Applications of Satisfiability Testing – SAT 2007. 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings.
(3 - 3).
Springer Berlin Heidelberg
|
|
|
Osorio, M;
Pérez, JAN;
(2004)
Answer Set Programming and S4.
In: Lemaître, C and García, CAR and González, JA, (eds.)
Advances in Artificial Intelligence – IBERAMIA 2004. 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings.
(353 - 363).
Springer Berlin Heidelberg
|
|
Proceedings paper
|
Brotherston, J;
Fuhs, C;
Pérez, JAN;
Gorogiannis, N;
(2014)
A decision procedure for satisfiability in separation logic with inductive predicates.
In:
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014.
Association for Computing Machinery (ACM): New York, US.
|
|
|
Montiel, LA;
Pérez, JAN;
(2004)
Computing Preferred Safe Beliefs.
In: Osorio, M and Provetti, A, (eds.)
Latin-American Workshop on Non-Monotonic Reasoning: Proceedings of the 1st Intl. LA-NMR04 Workshop.
CEUR-WS.org
|
|
|
Navarro Pérez, JA;
Rybalchenko, A;
(2011)
Separation logic + superposition calculus = heap theorem prover.
In:
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
(pp. 556 - 566).
|
|
|
Navarro-Pérez, JA;
Voronkov, A;
(2013)
Planning with effectively propositional logic.
In:
Programming Logics Essays in Memory of Harald Ganzinger.
(pp. 302 - 316).
Springer Berlin Heidelberg
|
|
|
Osorio, M;
Pérez, JAN;
Arrazola, J;
(2002)
Debugging in A-Prolog: A Logical Approach.
In: Stuckey, PJ, (ed.)
Logic Programming. 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings.
(pp. 482 - 483).
Springer Berlin Heidelberg
|
|
|
Osorio, M;
Pérez, JAN;
Arrazola, J;
(2002)
Equivalence in Answer Set Programming.
In: Pettorossi, A, (ed.)
Logic Based Program Synthesis and Transformation. 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers.
(pp. 57 - 75).
Springer Berlin Heidelberg
|
|
|
Pérez, JAN;
Rybalchenko, A;
(2009)
Operational semantics for declarative networking.
In: Gill, A and Swift, T, (eds.)
Practical Aspects of Declarative Languages. 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings.
(pp. 76 - 90).
Springer Berlin Heidelberg
|
|
|
Pérez, JAN;
Rybalchenko, A;
Singh, A;
(2009)
Cardinality Abstraction for Declarative Networking Applications.
In: Bouajjani, A and Maler, O, (eds.)
Computer Aided Verification. 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings.
(pp. 584 - 598).
Springer Berlin Heidelberg
|
|
|
Pérez, JAN;
Voronkov, A;
(2008)
Proof systems for effectively propositional logic.
In: Armando, A and Baumgartner, P and Dowek, G, (eds.)
Automated Reasoning. 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings.
(pp. 426 - 440).
Springer Berlin Heidelberg
|
|
|
Pérez, JAN;
Voronkov, A;
(2005)
Generation of Hard Non-Clausal Random Satisfiability Problems.
In: Veloso, MM and Kambhampati, S, (eds.)
AAAI 2005.
(pp. 436 - 442).
AAAI Press / The MIT Press
|
|
