Vítor Costa

Available identifiers

zbMath Open costa.vitor-santosWikidataQ102487159 ScholiaQ102487159MaRDI QIDQ299035

List of research outcomes

Publication	Date of Publication	Type
The burning of the snark	2024-04-22	Paper
On the use of stochastic local search techniques to revise first-order logic theories from examples	2017-06-30	Paper
Slash and burn on graphs -- firefighting with general weights	2016-06-22	Paper
Asymptotic surviving rate of trees with multiple fire sources	2015-04-28	Paper
Lifted Variable Elimination for Probabilistic Logic Programming	2014-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5420034	2014-06-11	Paper
More fires and more fighters	2014-04-10	Paper
Matchings in graphs of odd regularity and girth	2014-01-27	Paper
Evaluating Inference Algorithms for the Prolog Factor Language	2013-06-14	Paper
Gene clusters as intersections of powers of paths	2012-10-06	Paper
A design and implementation of the extended Andorra model	2012-08-30	Paper
The YAP prolog system	2012-06-25	Paper
On the implementation of the probabilistic logic programming language ProbLog	2011-06-15	Paper
Probabilistic Inductive Querying Using ProbLog	2010-12-22	Paper
Threads and or-parallelism unified	2010-08-19	Paper
Logic Programming	2009-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3602741	2009-02-12	Paper
On the Efficient Execution of ProbLog Programs	2009-01-22	Paper
Towards Typed Prolog	2009-01-22	Paper
CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge	2008-03-28	Paper
Revising First-Order Logic Theories from Examples Through Stochastic Local Search	2008-03-28	Paper
ILP :- Just Trie It	2008-03-28	Paper
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages	2008-03-11	Paper
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming	2007-11-15	Paper
Inductive Logic Programming	2006-11-01	Paper
Inductive Logic Programming	2006-11-01	Paper
Inductive Logic Programming	2006-10-19	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2006-06-27	Paper
Logic Programming	2005-08-26	Paper
Euro-Par 2004 Parallel Processing	2005-08-23	Paper
On applying or-parallelism and tabling to logic programs	2005-04-29	Paper
10.1162/153244304773936027	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738994	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736502	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736500	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4413483	2003-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4537976	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2767148	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4499259	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4944868	2000-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4944867	2000-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4227004	1999-02-23	Paper
Cuts and side-effects in and-or parallel Prolog	1997-04-27	Paper

Research outcomes over time

This page was built for person: Vítor Costa