Panos Rondogiannis

Publications

270

Citations

H-Index

1994

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

University of Ioannina

University of Victoria

National Centre of Scientific Research "Demokritos"

University of Szeged

Panos Rondogiannis is an author at National and Kapodistrian University of Athens specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSemanticsFormal VerificationProgram AnalysisLanguageLinguisticsLogic Programming

Publications per year

1994–2018

Publications

Minimum model semantics for logic programs with negation-as-failure

Panos Rondogiannis, William W. Wadge · ACM Transactions on Computational Logic · 2005 · 44 citations

Computational Logic, Non-classical Logic, Truth Domain +11

Well-founded semantics for Boolean grammars

Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis · Information and Computation · 2009 · 32 citations

Syntax, Automated Reasoning, Well-founded Semantics +7

First-order functional languages and intensional logic

Panos Rondogiannis, William W. Wadge · Journal of Functional Programming · 1997 · 25 citations · Full text

Engineering, First-order Functional Languages, Higher-order Logic +20

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation

Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis · Theory and Practice of Logic Programming · 2014 · 21 citations · Full text

Computational Logic, Non-classical Logic, Classical Logic Programming +13

Intensional Programming II

Manolis Gergatsoulis, Panos Rondogiannis · 2000 · 20 citations

Engineering, Automated Reasoning, Program Analysis +8

Rows per page

1–5 of 13