Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("HEYMANS, Stijn")

Results 1 to 12 of 12

  • Page / 1
Export

Selection :

  • and

Unsatisfiability reasoning in ORM conceptual schemesJARRAR, Mustafa; HEYMANS, Stijn.Lecture notes in computer science. 2006, pp 517-534, issn 0302-9743, isbn 3-540-46788-2, 1Vol, 18 p.Conference Paper

Synthesis from temporal specifications using preferred answer set programmingHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 280-294, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 15 p.Conference Paper

Preferential reasoning on a web of trustHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERRNEIR, Dirk et al.Lecture notes in computer science. 2005, pp 368-382, issn 0302-9743, isbn 3-540-29754-5, 1Vol, 15 p.Conference Paper

Guarded open answer set programming with generalized literalsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2006, pp 179-200, issn 0302-9743, isbn 3-540-31782-1, 1Vol, 22 p.Conference Paper

Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 392-407, issn 0302-9743, isbn 3-540-26124-9, 16 p.Conference Paper

An ordered logic program solverVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 128-142, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Semantic Web reasoning with Conceptual Logic ProgramsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2004, pp 113-127, issn 0302-9743, isbn 3-540-23842-5, 15 p.Conference Paper

Cooperating answer set programmingVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2006, pp 226-241, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 16 p.Conference Paper

On programs with linearly ordered multiple preferencesVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2004, pp 180-194, issn 0302-9743, isbn 3-540-22671-0, 15 p.Conference Paper

Weighted answer sets and applications in intelligence analysisVAN NIEUWENBORGH, Davy; HEYMANS, Stijn; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 169-183, issn 0302-9743, isbn 3-540-25236-3, 15 p.Conference Paper

Hierarchical decision making by autonomous agentsHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2004, pp 44-56, issn 0302-9743, isbn 3-540-23242-7, 13 p.Conference Paper

Guarded open answer set programmingHEYMANS, Stijn; VAN NIEUWENBORGH, Davy; VERMEIR, Dirk et al.Lecture notes in computer science. 2005, pp 92-104, issn 0302-9743, isbn 3-540-28538-5, 13 p.Conference Paper

  • Page / 1