BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × India
1 × Italy
1 × Portugal
1 × Spain
1 × Sweden
2 × Austria
2 × Norway
2 × United Kingdom
3 × USA
Collaborated with:
E.Laenens D.V.Nieuwenborgh S.Heymans G.Rozenberg M.D.Cock J.Janssen F.Staes M.D.Vos C.Zaniolo D.M.Gabbay D.Saccà J.Snijders K.Bauters S.Schockaert T.Fayruzov C.Cornelis M.Ahlsen A.D'Atri P.Johannesson N.Leone P.Rullo P.Rossi L.Tarantino L.V.Beirendonck L.V.Cadsand W.V.Santvliet J.Vanslembrouck B.Verdonk
Talks about:
program (11) answer (5) logic (5) set (5) order (4) system (3) orient (3) object (3) fuzzi (3) knowledg (2)

Person: Dirk Vermeir

DBLP DBLP: Vermeir:Dirk

Contributed to:

ICLP 20102010
ICLP 20082008
ICLP 20072007
ICLP 20062006
PADL 20052005
ICLP 20042004
ICLP 20032003
CSL 19991999
ICALP 19921992
CAiSE 19911991
KR 19911991
SIGMOD 19901990
CA(i)SE 19891989
ECOOP 19891989
ECOOP 19881988
ICALP 19791979
ICALP 19771977

Wrote 18 papers:

ICLP-2010-BautersJSVC10 #communication #set #source code
Communicating Answer Set Programs (KB, JJ, SS, DV, MDC), pp. 34–43.
ICLP-2010-FayruzovJVCC10 #performance #set #source code
Efficient Solving of Time-dependent Answer Set Programs (TF, JJ, DV, CC, MDC), pp. 64–73.
ICLP-2008-JanssenHVC #compilation #fuzzy #set #source code
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (JJ, SH, DV, MDC), pp. 362–376.
ICLP-2007-NieuwenborghCV #fuzzy #set #using
Computing Fuzzy Answer Sets Using dlvhex (DVN, MDC, DV), pp. 449–450.
ICLP-2006-NieuwenborghHV #programming #set
Cooperating Answer Set Programming (DVN, SH, DV), pp. 226–241.
PADL-2005-NieuwenborghHV #logic programming #order
An Ordered Logic Program Solver (DVN, SH, DV), pp. 128–142.
ICLP-2004-NieuwenborghHV #multi #on the #order #source code
On Programs with Linearly Ordered Multiple Preferences (DVN, SH, DV), pp. 180–194.
ICLP-2003-NieuwenborghV #order
Order and Negation as Failure (DVN, DV), pp. 194–208.
CSL-1999-VosV #game studies #logic programming #nash #source code
Choice Logic Programs and Nash Equilibria in Strategic Games (MDV, DV), pp. 266–276.
ICALP-1992-LaenensVZ #logic programming #semantics
Logic Programming Semantics Made Easy (EL, DV, CZ), pp. 499–508.
CAiSE-1991-AhlsenDJLLRRSTBCSVVV #knowledge base
The KIWIS Knowledge Base Management System (MA, AD, PJ, EL, NL, PR, PR, FS, LT, LVB, LVC, WVS, JV, BV, DV), pp. 79–97.
KR-1991-GabbayLV #logic programming #order #semantics #source code
Credulous vs. Sceptical Semantics for Ordered Logic Programs (DMG, EL, DV), pp. 208–217.
SIGMOD-1990-LaenensSV #logic programming
Extending Logic Programming (EL, DS, DV), pp. 184–193.
CAiSE-1989-LaenensSSV #case study #design #knowledge base #object-oriented #using
A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System (EL, JS, FS, DV).
ECOOP-1989-LaenensSV #database #interface #object-oriented
A Customizable Window-Interface to Object-Oriented Databases (EL, FS, DV), pp. 367–381.
ECOOP-1988-LaenensV #database #object-oriented #overview #programming language
An Overview of OOPS+, An Object-Oriented Database Programming Language (EL, DV), pp. 350–373.
ICALP-1979-RozenbergV #finite
Extending the Notion of Finite Index (GR, DV), pp. 479–488.
ICALP-1977-RozenbergV #finite
L Systems of Finite Index (GR, DV), pp. 430–439.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.