Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Gabbay, Dov"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantics and proof-theory of depth bounded Boolean logics
Marcello D'Agostino
,
Marcelo Finger
,
Dov Gabbay
Theoretical Computer Science
480
, 2013, pp. 43-68
Reactive automata
Maxime Crochemore
,
Dov M. Gabbay
Information and Computation
209
(4), 2011, pp. 692-704
SAT graph-based representation: A new perspective
Gilles Audemard
,
Said Jabbour
,
Lakhdar Sais
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 17-33
Solving satisfiability in the tile assembly model with a cosntant-size tileset
Yuriy Brun
J. Algorithms: Cognition, Informatics and Logic
63
(4), 2008, pp. 151-166
Experimenting with parallelism for the instantiation of ASP programs
F. Calimeri
,
S. Perri
,
F. Ricca
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 34-54
Stochastic local search for large-scale instances of the haplotype inference problem by pure parsimony
Luca Di Gaspero
,
Andrea Roli
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 55-69
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
Matti Järvisalo
,
Ilkka Niemelä
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 90-113
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
Marco Maratea
,
Francesco Ricca
,
Wolfgang Faber
,
Nicola Leone
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 70-89
Model checking with Boolean satisfiability
Joao Marques-Silva
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 3-16
A test suite for the evaluation of mixed multi-unit combinatorial auctions
Meritxell Vinyals
,
Andrea Giovannucci
,
Jesús Cerquides
,
Pedro Meseguer
,
Juan A. Rodriguez-Aguilar
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 130-150
Experimental studies of variable selection strategies based on constraint weights
Richard J. Wallace
,
Diarmuid Grimes
J. Algorithms: Cognition, Informatics and Logic
63
(1-3), 2008, pp. 114-129
Objective Bayesian probabilistic logic
Jon Williamson
J. Algorithms: Cognition, Informatics and Logic
63
(4), 2008, pp. 167-183
Improved decremental algorithms for maintaining transitive closure and all-pairs shortest paths
Surender Baswana
,
Ramesh Hariharan
,
Sandeep Sen
J. Algorithms: Cognition, Informatics and Logic
62
(2), 2007, pp. 74-92
A normal form which preserves tautologies and contradictions in a class of fuzzy logics
Benjamín Callejas Bedregal
J. Algorithms: Cognition, Informatics and Logic
62
(3-4), 2007, pp. 135-147
Approximation algorithms for spreading points
Sergio Cabello
J. Algorithms: Cognition, Informatics and Logic
62
(2), 2007, pp. 49-73
Solving
NP
-hard semirandom graph problems in polynomial expected time
Amin Coja-Oghlan
J. Algorithms: Cognition, Informatics and Logic
62
(1), 2007, pp. 19-46
Computing shortest paths with uncertainty
Tomás Feder
,
Rajeev Motwani
,
Liadan O'Callaghan
,
Chris Olston
,
Rina Panigrahy
J. Algorithms: Cognition, Informatics and Logic
62
(1), 2007, pp. 1-18
Strategies and simulations in a semantic framework
Narciso Martí-Oliet
,
Miguel Palomino
,
Alberto Verdejo
J. Algorithms: Cognition, Informatics and Logic
62
(3-4), 2007, pp. 95-116
Clausal resolution for normal modal logics
Cláudia Nalon
,
Clare Dixon
J. Algorithms: Cognition, Informatics and Logic
62
(3-4), 2007, pp. 117-134
Connectionist modal logic: Representing modalities in neural networks
Artur S. d'Avila Garcez
,
Luís C. Lamb
,
Dov M. Gabbay
Theoretical Computer Science
371
(1-2), 2007, pp. 34-53
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)
Robson da Luz
,
Mírian Halfeld Ferrari
,
Martin A. Musicante
J. Algorithms: Cognition, Informatics and Logic
62
(3-4), 2007, pp. 148-167
Connectionist computations of intuitionistic reasoning
Artur S. d'Avila Garcez
,
Luís C. Lamb
,
Dov M. Gabbay
Theoretical Computer Science
358
(1), 2006, pp. 34-55