( en | de | ru )

 

Disambiguation of "Vermeir, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
Finite Satisfiability in Infinite-Valued Lukasiewicz Logic.

, , , and . SUM, volume 5785 of Lecture Notes in Computer Science, page 240-254. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Dirkmann

In-vitro-Untersuchungen zum Effekt von Hypothermie und Azidose auf Variablen thrombelastometrischer Messungen der Blutgerinnung. Uni Duisburg-Essen, (2009)

Wolfgang Dirksen

Heinrich Dirksen

Dieter Dirksen

Dorothea Dirksen

 

Other publications of authors with the same name

Logic Programming Agents and Game Theory., and . Answer Set Programming, (2001)Ordered Programs as Abductive Systems., and . APPIA-GULP-PRODE, page 374-385. (2003)Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach., , , and . Atlantis Computational Intelligence Systems Atlantis Press, (2012)A note on M-growth functions of FTOL systems with rank., and . Fundam. Informaticae, 3 (3): 295-302 (1980)Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics, , , and . CoRR, (2011)Logic Programming Semantics Made Easy., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 499-508. Springer, (1992)L Systems of Finite Index (Extended Abstract)., and . ICALP, volume 52 of Lecture Notes in Computer Science, page 430-439. Springer, (1977)On the Relationship between Well-Founded and Stable Partial Models., and . MFDBS, volume 495 of Lecture Notes in Computer Science, page 59-73. Springer, (1991)Context-Free Programmed Grammars and ETOL Systems., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 482-487. Springer, (1976)Aggregated Fuzzy Answer Set Programming., , , and . Ann. Math. Artif. Intell., 63 (2): 103-147 (2011)