Vitor Costa

Available identifiers

zbMath Open costa.vitor-santosWikidataQ102487159 ScholiaQ102487159MaRDI QIDQ299035

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2918486	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
ILP :- Just Trie It	2008-03-28	Paper
Revising First-Order Logic Theories from Examples Through Stochastic Local Search	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/Q4736500	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736502	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/Q4944867	2000-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4944868	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vitor Costa