Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
AREIAS, MIGUEL
and
ROCHA, RICARDO
2012.
Towards multi-threaded local tabling using a common table space.
Theory and Practice of Logic Programming,
Vol. 12,
Issue. 4-5,
p.
427.
Schrijvers, Tom
Triska, Markus
and
Demoen, Bart
2012.
Tor.
p.
103.
Theil Have, Christian
and
Christiansen, Henning
2012.
Practical Aspects of Declarative Languages.
Vol. 7149,
Issue. ,
p.
93.
Eiter, Thomas
Krennwallner, Thomas
and
Redl, Christoph
2013.
Applications of Declarative Programming and Knowledge Management.
Vol. 7773,
Issue. ,
p.
269.
Tenorth, Moritz
and
Beetz, Michael
2013.
KnowRob: A knowledge processing infrastructure for cognition-enabled robots.
The International Journal of Robotics Research,
Vol. 32,
Issue. 5,
p.
566.
Saptawijaya, Ari
and
Pereira, Luís Moniz
2013.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 8312,
Issue. ,
p.
694.
Saenz-Perez, Fernando
2013.
Implementing Tabled Hypothetical Datalog.
p.
596.
LIANG, SENLIN
and
KIFER, MICHAEL
2013.
A practical analysis of non-termination in large logic programs.
Theory and Practice of Logic Programming,
Vol. 13,
Issue. 4-5,
p.
705.
JANSEN, JOACHIM
JORISSEN, ALBERT
and
JANSSENS, GERDA
2013.
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.
Theory and Practice of Logic Programming,
Vol. 13,
Issue. 4-5,
p.
691.
Saptawijaya, Ari
and
Pereira, Luís Moniz
2013.
Progress in Artificial Intelligence.
Vol. 8154,
Issue. ,
p.
223.
Saptawijaya, Ari
and
Pereira, Luís Moniz
2013.
Logic Programming and Nonmonotonic Reasoning.
Vol. 8148,
Issue. ,
p.
479.
SWIFT, TERRANCE
2014.
Incremental Tabling in Support of Knowledge Representation and Reasoning.
Theory and Practice of Logic Programming,
Vol. 14,
Issue. 4-5,
p.
553.
Koukoutos, Emmanouil
and
Kuncak, Viktor
2014.
Runtime Verification.
Vol. 8734,
Issue. ,
p.
263.
Analyti, Anastasia
Damásio, Carlos V.
Antoniou, Grigoris
and
Pachoulakis, Ioannis
2014.
Why-provenance information for RDF, rules, and negation.
Annals of Mathematics and Artificial Intelligence,
Vol. 70,
Issue. 3,
p.
221.
TRIVELLATO, DANIEL
ZANNONE, NICOLA
and
ETALLE, SANDRO
2014.
GEM: A distributed goal evaluation algorithm for trust management.
Theory and Practice of Logic Programming,
Vol. 14,
Issue. 3,
p.
293.
Riguzzi, Fabrizio
and
Swift, Terrance
2014.
Terminating Evaluation of Logic Programs with Finite Three-Valued Models.
ACM Transactions on Computational Logic,
Vol. 15,
Issue. 4,
p.
1.
Saptawijaya, Ari
and
Pereira, Luís Moniz
2014.
Practical Aspects of Declarative Languages.
Vol. 8324,
Issue. ,
p.
104.
Schrijvers, Tom
Demoen, Bart
Triska, Markus
and
Desouter, Benoit
2014.
Tor : Modular search with hookable disjunction.
Science of Computer Programming,
Vol. 84,
Issue. ,
p.
101.
GOMES, ANA SOFIA
ALFERES, JOSÉ JÚLIO
and
SWIFT, TERRANCE
2014.
A goal-directed implementation of query answering for hybrid MKNF knowledge bases.
Theory and Practice of Logic Programming,
Vol. 14,
Issue. 2,
p.
239.
MANTADELIS, THEOFRASTOS
ROCHA, RICARDO
and
MOURA, PAULO
2014.
Tabling, Rational Terms, and Coinduction Finally Together!.
Theory and Practice of Logic Programming,
Vol. 14,
Issue. 4-5,
p.
429.