Остановите войну!
for scientists:
default search action
Panos Rondogiannis
- > Home > Persons > Panos Rondogiannis
Publications
- 2023
- [c29]Angelos Charalambidis, Panos Rondogiannis:
Categorical Approximation Fixpoint Theory. JELIA 2023: 515-530 - 2022
- [j35]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Theory Pract. Log. Program. 22(5): 708-722 (2022) - [i13]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective. CoRR abs/2205.04882 (2022) - 2021
- [j34]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. Theory Pract. Log. Program. 21(5): 629-645 (2021) - [c28]Angelos Charalambidis, George Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis:
A Many-valued Logic for Lexicographic Preference Representation. KR 2021: 646-650 - [i12]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. CoRR abs/2108.03369 (2021) - 2020
- [c27]Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis:
A Fixed Point Theorem on Lexicographic Lattice Structures. LICS 2020: 301-311 - [i11]Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis, Antonis Troumpoukis:
Lexicographic Logic: a Many-valued Logic for Preference Representation. CoRR abs/2012.10940 (2020) - 2019
- [j33]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
The Expressive Power of Higher-Order Datalog. Theory Pract. Log. Program. 19(5-6): 925-940 (2019) - [i10]Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis:
The Expressive Power of Higher-Order Datalog. CoRR abs/1907.09820 (2019) - 2018
- [j31]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
Higher-order logic programming: An expressive language for representing qualitative preferences. Sci. Comput. Program. 155: 173-197 (2018) - [j30]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Theory Pract. Log. Program. 18(3-4): 421-437 (2018) - [i9]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. CoRR abs/1804.08335 (2018) - 2017
- [j29]Angelos Charalambidis, Panos Rondogiannis:
Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming. Acta Cybern. 23(1): 319-326 (2017) - [j27]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Equivalence of two fixed-point semantics for definitional higher-order logic programs. Theor. Comput. Sci. 668: 27-42 (2017) - 2016
- [c24]Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
Higher-order logic programming: an expressive language for representing qualitative preferences. PPDP 2016: 24-37 - 2015
- [c22]Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. FICS 2015: 18-32 - 2014
- [j24]Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Theory Pract. Log. Program. 14(4-5): 725-737 (2014) - [c21]Angelos Charalambidis, Nikolaos Papaspyrou, Panos Rondogiannis:
Tagged Dataflow: a Formal Model for Iterative Map-Reduce. EDBT/ICDT Workshops 2014: 29-36 - [c20]Angelos Charalambidis, Panos Rondogiannis:
Constructive Negation in Extensional Higher-Order Logic Programming. KR 2014 - [i5]Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. CoRR abs/1405.3792 (2014) - 2013
- [j22]Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. ACM Trans. Comput. Log. 14(3): 21:1-21:40 (2013) - 2011
- [i4]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. CoRR abs/1106.3457 (2011) - 2010
- [c15]Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. JELIA 2010: 91-103 - 2008
- [j14]Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis:
Efficient Intensional Implementation for Lazy Functional Languages. Math. Comput. Sci. 2(1): 123-141 (2008)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint