Concepedia

Anthony Karel Seda

AK

14

Publications

414

Citations

12

H-Index

1982

Active since

Affiliations

University College Cork(Current)

National University of Ireland

Technische Universität Dresden

Anthony Karel Seda is an author at University College Cork specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLogic ProgrammingFormal VerificationSoftware AnalysisFunctional AnalysisMathematical ProgrammingEducation

Publications per year

1982–2008

14

Publications

14

Logic programs and connectionist networks

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda · Journal of Applied Logic · 2004 · 101 citations

Applied Logic, Computational Logic, Engineering +5

Generalized Distance Functions in the Theory of Computation

Anthony Karel Seda, Pascal Hitzler · The Computer Journal · 2008 · 58 citations

Mathematical Programming, Applied Logic, Computational Complexity Theory +18

QUASI-METRICS AND THE SEMANTICS OF LOGIC PROGRAMS

Anthony Karel Seda · Fundamenta Informaticae · 1997 · 45 citations

Applied Logic, Computational Logic, Engineering +11

Generalized metrics and uniquely determined logic programs

Pascal Hitzler, Anthony Karel Seda · Theoretical Computer Science · 2003 · 40 citations

Applied Logic, Engineering, Automated Reasoning +6

TOPOLOGY AND THE SEMANTICS OF LOGIC PROGRAMS

Anthony Karel Seda · Fundamenta Informaticae · 1995 · 33 citations

Applied Logic, Computational Logic, Non-classical Logic +12

Rows per page

1–5 of 14