Vítor Costa

From MaRDI portal
Person:299035

Available identifiers

zbMath Open costa.vitor-santosWikidataQ102487159 ScholiaQ102487159MaRDI QIDQ299035

List of research outcomes





PublicationDate of PublicationType
The burning of the snark2024-04-22Paper
On the use of stochastic local search techniques to revise first-order logic theories from examples2017-06-30Paper
Slash and burn on graphs -- firefighting with general weights2016-06-22Paper
Asymptotic surviving rate of trees with multiple fire sources2015-04-28Paper
Lifted Variable Elimination for Probabilistic Logic Programming2014-11-25Paper
https://portal.mardi4nfdi.de/entity/Q54200342014-06-11Paper
More fires and more fighters2014-04-10Paper
Matchings in graphs of odd regularity and girth2014-01-27Paper
Evaluating Inference Algorithms for the Prolog Factor Language2013-06-14Paper
Gene clusters as intersections of powers of paths2012-10-06Paper
A design and implementation of the extended Andorra model2012-08-30Paper
The YAP prolog system2012-06-25Paper
On the implementation of the probabilistic logic programming language ProbLog2011-06-15Paper
Probabilistic Inductive Querying Using ProbLog2010-12-22Paper
Threads and or-parallelism unified2010-08-19Paper
Logic Programming2009-08-06Paper
https://portal.mardi4nfdi.de/entity/Q36027412009-02-12Paper
On the Efficient Execution of ProbLog Programs2009-01-22Paper
Towards Typed Prolog2009-01-22Paper
CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge2008-03-28Paper
Revising First-Order Logic Theories from Examples Through Stochastic Local Search2008-03-28Paper
ILP :- Just Trie It2008-03-28Paper
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages2008-03-11Paper
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming2007-11-15Paper
Inductive Logic Programming2006-11-01Paper
Inductive Logic Programming2006-11-01Paper
Inductive Logic Programming2006-10-19Paper
Logic Programming2006-06-27Paper
Logic Programming2006-06-27Paper
Logic Programming2005-08-26Paper
Euro-Par 2004 Parallel Processing2005-08-23Paper
On applying or-parallelism and tabling to logic programs2005-04-29Paper
10.1162/1532443047739360272004-11-23Paper
https://portal.mardi4nfdi.de/entity/Q47389942004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47365022004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q47365002004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44134832003-07-20Paper
https://portal.mardi4nfdi.de/entity/Q45379762002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q27671482002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q44992592001-03-06Paper
https://portal.mardi4nfdi.de/entity/Q49448682000-08-28Paper
https://portal.mardi4nfdi.de/entity/Q49448672000-08-28Paper
https://portal.mardi4nfdi.de/entity/Q42270041999-02-23Paper
Cuts and side-effects in and-or parallel Prolog1997-04-27Paper

Research outcomes over time

This page was built for person: Vítor Costa