Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Marek, Victor W.
1797
Ergebnisse:
Artikel (Online) X
Personensuche
X
Sprachen
englisch (1674)
deutsch (17)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Answer Set Programming, by Vladimir Lifschitz, Springer Nat..:
MAREK, VICTOR W.
Theory and Practice of Logic Programming. 20 (2020) 3 - p. 432-434 , 2020
Link:
https://doi.org/10.1017/..
?
2
All about Proofs, Proofs for All, Bruno Woltzenlogel Paleoa..:
Marek, Victor W.
Theory and Practice of Logic Programming. 16 (2015) 2 - p. 236-241 , 2015
Link:
https://doi.org/10.1017/..
?
3
Satisfiability-based Set Membership Filters:
Weaver, Sean A.
;
Ray, Katrina J.
;
Marek, Victor W.
..
Journal on Satisfiability, Boolean Modeling and Computation. 8 (2014) 3-4 - p. 129-148 , 2014
Link:
https://doi.org/10.3233/..
?
4
Preface:
Osorio, Mauricio
;
Marek, Victor W.
Fundamenta Informaticae. 113 (2011) 1 - p. v-vi , 2011
Link:
https://doi.org/10.3233/..
?
5
The complexity of recursive constraint satisfaction problem:
Marek, Victor W.
;
Remmel, Jeffrey B.
Annals of Pure and Applied Logic. 161 (2009) 3 - p. 447-457 , 2009
Link:
https://doi.org/10.1016/..
?
6
Logic programs with monotone abstract constraint atoms:
MAREK, VICTOR W.
;
NIEMELÄ, ILKKA
;
TRUSZCZYŃSKI, MIROSŁAW
Theory and Practice of Logic Programming. 8 (2008) 2 - p. 167-199 , 2008
Link:
https://doi.org/10.1017/..
?
7
Explanatory Nonmonotonic Reasoning by Alexander Bochman Wor..:
Marek, Victor W.
Theory and Practice of Logic Programming. 7 (2007) 4 - p. 499-503 , 2007
Link:
https://doi.org/10.1017/..
?
8
Toward Automating the Discovery of Decreasing Measures:
Boyer, Robert S.
;
Legato, Wilfred J.
;
Marek, Victor W.
Journal of Automated Reasoning. 35 (2005) 4 - p. 355-371 , 2005
Link:
https://doi.org/10.1007/..
?
9
Logic programming with infinite sets:
Cenzer, Douglas
;
Remmel, Jeffrey B
;
Marek, Victor W.
Annals of Mathematics and Artificial Intelligence. 44 (2005) 4 - p. 309-339 , 2005
Link:
https://doi.org/10.1007/..
?
10
Ultimate approximation and its application in nonmonotonic ..:
Denecker, Marc
;
Marek, Victor W.
;
Truszczyński, Mirosław
Information and Computation. 192 (2004) 1 - p. 84-121 , 2004
Link:
https://doi.org/10.1016/..
?
11
Constraint Lingo: towards high‐level constraint programming:
Finkel, Raphael
;
Marek, Victor W.
;
Truszczyński, Mirosław
Software: Practice and Experience. 34 (2004) 15 - p. 1481-1504 , 2004
Link:
https://doi.org/10.1002/..
?
12
On the expressibility of stable logic programming:
MAREK, VICTOR W.
;
REMMEL, JEFFREY B.
Theory and Practice of Logic Programming. 3 (2003) 4+5 - p. 551-567 , 2003
Link:
https://doi.org/10.1017/..
?
13
Uniform semantic treatment of default and autoepistemic log..:
Denecker, Marc
;
Marek, Victor W.
;
Truszczyński, Mirosław
Artificial Intelligence. 143 (2003) 1 - p. 79-122 , 2003
Link:
https://doi.org/10.1016/..
?
14
Computing with default logic:
Cholewiński, Paweł
;
Marek, Victor W.
;
Truszczyński, Mirosław
.
Artificial Intelligence. 112 (1999) 1-2 - p. 105-146 , 1999
Link:
https://doi.org/10.1016/..
?
15
Myths about rough set theory:
Koczkodaj, Waldemar W.
;
Orlowski, Marian
;
Marek, Victor W.
Communications of the ACM. 41 (1998) 11 - p. 102-103 , 1998
Link:
https://doi.org/10.1145/..
1-15