Concepedia

E. Laenens

EL

Statistics

Publications

5

Citations

166

H-Index

5

Active since

1990

Affiliations

University of Antwerp(Current)

Philips (Finland)

Philips (Netherlands)

E. Laenens is an author at University of Antwerp specializing in automated reasoning, logic programming, and formal methods.

Top concepts

SemanticsEngineeringFormal MethodsLogic ProgrammingAutomated ReasoningComputer ScienceLanguageFormal LogicDescription LogicsMulti-sorted Logic

Publications per year

1990–1992

5

Publications

5

A Fixpoint Semantics for Ordered Logic

E. Laenens, Dirk Vermeir · Journal of Logic and Computation · 1990 · 63 citations

Engineering, Ordered Structure, Well-founded Semantics +17

Credulous vs. sceptical semantics for ordered logic programs

Dov M. Gabbay, E. Laenens, Dirk Vermeir · Principles of Knowledge Representation and Reasoning · 1991 · 32 citations

Ordered Logic Programs, Engineering, Automated Reasoning +6

Extending logic programming

E. Laenens, Domenico Saccà, Dirk Vermeir · 1990 · 32 citations · Full text

Assumption-free Semantics for Ordered Logic Programs: On the Relationship Between Well-founded and Stable Partial Models

E. Laenens, Dirk Vermeir · Journal of Logic and Computation · 1992 · 26 citations

Engineering, Well-founded Semantics, Higher-order Logic +19

The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.

E. Laenens, Brigitte Verdonk, Dirk Vermeir · Logic Programming and Non-Monotonic Reasoning · 1990 · 13 citations

Engineering, Operational Semantics, Automated Reasoning +10

1–5 of 5