Christos Nomikos
ScholarGPS® ID: 76273199338465
Affiliation History
Discipline
Computer Science
Top Specialties
Logic | Semantics | Logic Programming | Informatics
Metrics Summary
Publication Count
35
Predicted Citations
318
Predicted h-index
10
Ranking
Publications and Citation History
Publications based on Top Specialties
Types of Publication
- Publications
- Books
- Patents
- NIH/NSF
|
Add
Delete
|
|---|
Efficient query evaluation techniques over large amount of distributed linked data (journal article) Information Systems, volume 115 (2023). |
On weak filters and ultrafilters: Set theory from (and for) knowledge representation (journal article) Logic Journal of the IGPL, volume 31, issue 1, pages 68-95 (2023). |
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (journal article) Theory and Practice of Logic Programming, volume 22, issue 5, pages 708-722 (2022). |
Topological semantics for default conditional logic (conference) SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing (2022) Virtual Event |
Default consequence relations from topology and measure theory (journal article) Annals of Mathematics and Artificial Intelligence, volume 90, issue 4, pages 397-424 (2022). |
The Expressive Power of Higher-Order Datalog (journal article) Theory and Practice of Logic Programming, volume 19, issue 5-6, pages 925-940 (2019). |
Game semantics for non-monotonic intensional logic programming (journal article) Annals of Pure and Applied Logic, volume 168, issue 2, pages 234-253 (2017). |
Stathis Zachos at 70! (book chapter) In Algorithms and Complexity Springer International Publishing (2017) |
Multi-spectral detection of statistically significant components in pre-seismic electromagnetic emissions related with Athens 1999, M=5.9 earthquake (journal article) Journal of Applied Geophysics, volume 128 (2016). |
On the ‘in many cases’ Modality: Tableaux, Decidability, Complexity, Variants (book chapter) In Artificial Intelligence: Methods and Applications Springer International Publishing (2014) |
Game Semantics for Non-monotonic Intensional Logic Programming (book chapter) In Logic Programming and Nonmonotonic Reasoning Springer Berlin Heidelberg (2013) |
An Algorithm for Querying Linked Data Using Map-Reduce (book chapter) In Data Management in Cloud, Grid and P2P Systems Springer Berlin Heidelberg (2013) |
Notions of Bisimulation for Heyting-Valued Modal Languages (journal article) Journal of Logic and Computation, volume 22, issue 2, pages 213-235 (2012). |
A game-theoretic characterization of Boolean grammars (journal article) Theoretical Computer Science, volume 412, issue 12-14, pages 1169-1183 (2011). |
Well-founded semantics for Boolean grammars (journal article) Information and Computation, volume 207, issue 9, pages 945-967 (2009). |
Strong equivalence of logic programs under the infinite-valued semantics (journal article) Information Processing Letters, volume 109, issue 11, pages 576-581 (2009). |
A Game-Theoretic Characterization of Boolean Grammars (book chapter) In Developments in Language Theory Springer Berlin Heidelberg (2009) |
On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief (journal article) Logic Journal of IGPL, volume 16, issue 6, pages 591-604 (2008). |
Locally stratified Boolean grammars (journal article) Information and Computation, volume 206, issue 9-10, pages 1219-1233 (2008). |
Randomized and Approximation Algorithms for Blue-Red Matching (book chapter) In Mathematical Foundations of Computer Science 2007 Springer Berlin Heidelberg (2007) |