Edward Haeusler
Edward Haeusler
Professor of Computer Science, PUC-Rio
Verified email at inf.puc-rio.br
Cited by
Cited by
Referee assignment in sports leagues
AR Duarte, CC Ribeiro, S Urrutia, EH Haeusler
International Conference on the Practice and Theory of Automated Timetabling …, 2006
Semantic interoperability via category theory
I Cafezeiro, EH Haeusler
Tutorials, posters, panels and industrial contributions at the 26th …, 2007
Mapping modular SOS to rewriting logic
CO de Braga, EH Hæusler, J Meseguer, PD Mosses
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
Maude action tool: Using reflection to map action semantics to rewriting logic
CO Braga, EH Haeusler, J Meseguer, PD Mosses
International Conference on Algebraic Methodology and Software Technology …, 2000
An ontology-based approach to the formalization of information security policies
FN Do Amaral, C Bazilio, GMH Da Silva, A Rademaker, EH Haeusler
2006 10th IEEE International Enterprise Distributed Object Computing …, 2006
Intuitionistic Logic and Legal Ontologies.
EH Haeusler, V De Paiva, A Rademaker
JURIX, 155-158, 2010
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
Mobilehealthnet: A middleware for mobile social networks in m-health
A Teles, D Pinheiro, J Gonçalves, R Batista, F Silva, V Pinheiro, ...
Proc. MobiHealth 12, 1-8, 2012
Constructive description logics hybrid-style
V de Paiva, EH Haeusler, A Rademaker
Electronic Notes in Theoretical Computer Science 273, 21-31, 2011
Using intuitionistic logic as a basis for legal ontologies
EH Haeusler, V De Paiva, A Rademaker
Proceedings of the 4th workshop on legal ontologies and artificial …, 2010
A formal framework for modeling context-aware behavior in ubiquitous computing
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
International Symposium On Leveraging Applications of Formal Methods …, 2008
Nul: Natural deduction for ultrafilter logic
CJ Renterıa, EH Haeusler, PAS Veloso
Bulletin of the Section of Logic 32 (4), 191-199, 2003
A natural deduction system for ctl
CJ Renterıa, EH Haeusler
Bulletin of the Section of Logic 31 (4), 231-240, 2002
Intuitionistic description logic and legal reasoning
EH Haeusler, V de Paiva, A Rademaker
2011 22nd International Workshop on Database and Expert Systems Applications …, 2011
Proof compressions with circuit-structured substitutions
L Gordeev, EH Haeusler, VG da Costa
Journal of Mathematical Sciences 158 (5), 645-658, 2009
Propositional Logics Complexity and the Sub-Formula Property
EH Haeusler
DCM 2014, EPTCS 179 (1), 1-16, 2015
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
Proof-graphs for minimal implicational logic
M Quispe-Cruz, EH Haeusler, L Gordeev
arXiv preprint arXiv:1404.0082, 2014
Proof Compression and NP Versus PSPACE
L Gordeev, EH Haeusler
Studia Logica, 2018
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning
EH Haeusler
LANMR 2014, Valle del Bravo, Mexico 1287, 12, 2014
The system can't perform the operation now. Try again later.
Articles 1–20