|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Separation logic + superposition calculus = heap theorem prover.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Applying Prolog to Develop Distributed Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Applying Prolog to develop distributed systems. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Operational Semantics for Declarative Networking. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, programming language semantics, Declarative networking |
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Cardinality Abstraction for Declarative Networking Applications. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Proof Systems for Effectively Propositional Logic. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Encodings of Problems in Effectively Propositional Logic. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías |
Logics with Common Weak Completions. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías |
Ground Nonmonotonic Modal Logic S5: New Results. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Safe beliefs for propositional theories. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Generation of Hard Non-Clausal Random Satisfiability Problems. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Applications of Intuitionistic Logic in Answer Set Programming. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis A. Montiel, Juan Antonio Navarro Pérez |
Computing Preferred Safe Beliefs. |
LA-NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez |
Answer Set Programming and S4. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Applications of Intuitionistic Logic in Answer Set Programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
A logical approach to A-Prolog. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Debugging in A-Prolog: A Logical Approach. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
Equivalence in Answer Set Programming. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")