E. Laenens - Concepedia

Author

E. Laenens

Also Known As

E. LAENENS, E. Laenens, Els Laenens

Publications

317

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	134
2	Semantics	4	4	134
3	Computer Science	3	3	121
4	Language Studies	2	2	89
5	Programming Languages	2	2	76

E. Laenens

Publications

166

Citations

H-Index

Page 1

	Year	Citations
A Fixpoint Semantics for Ordered Logic E. Laenens, Dirk Vermeir Journal of Logic and Computation EngineeringOrdered StructureWell-founded SemanticsHigher-order LogicSemantics	1990	63
Credulous vs. sceptical semantics for ordered logic programs Dov M. Gabbay, E. Laenens, Dirk Vermeir Principles of Knowledge Representation and Reasoning Ordered Logic ProgramsEngineeringAutomated ReasoningFormal MethodsDefeasible Logic	1991	32
Extending logic programming E. Laenens, Domenico Saccà, Dirk Vermeir	1990	32
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 EngineeringWell-founded SemanticsHigher-order LogicSemanticsFormal Verification	1992	26
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. E. Laenens, Brigitte Verdonk, Dirk Vermeir Logic Programming and Non-Monotonic Reasoning EngineeringOperational SemanticsAutomated ReasoningObject-oriented ModelingLoco Language	1990	13

Page 1