| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bence Király, Attila Sali |
Minimal Armstrong Databases for Cardinality Constraints.  |
FoIKS  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasir Mahmood 0002, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo |
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin von Berg, Arthur Sanin, Christoph Beierle |
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup |
Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran |
Constrained Derivation in Assumption-Based Argumentation. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Anne-Marie Heine |
On Naive Labellings - Realizability, Construction and Patterns of Redundancy. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Bayerkuhnlein, Diedrich Wolter |
Model-Based Diagnosis with ASP for Non-groundable Domains. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep |
Decomposing Analogy: A Logic Characterization. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen |
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Marco Favorito, Luciana Silo |
Composition of Stochastic Services for LTLf Goal Specifications. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner |
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Magdalena Ortiz 0001 (eds.) |
Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Minna Hirvonen |
Axiomatization of Implication for Probabilistic Independence and Unary Variants of Marginal Identity and Marginal Distribution Equivalence. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur |
A Complete Fragment of LTL(EB). |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner |
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle |
Core c-Representations and c-Core Closure for Conditional Belief Bases. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Barbero |
On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Max Sandström, Jonni Virtema |
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel |
How to Manage Supports in Incomplete Argumentation. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas L. Mayer |
An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Cignarale, Roman Kuznets, Thomas Schlögl |
Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling. |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Haldimann, Christoph Beierle |
Properties of System W and Its Relationships to Other Inductive Inference Operators. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis |
Database Repair via Event-Condition-Action Rules in Dynamic Logic. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Minna Hirvonen |
The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Munqath Alatar, Attila Sali |
Approximate Keys and Functional Dependencies in Incomplete Databases with Limited Domains. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Berens, Joachim Biskup |
On Sampling Representatives of Relational Schemas with a Functional Dependency. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziz Sfar, Dina Irofti, Madalina Croitoru |
A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Floris Geerts, Jasper Steegmans, Jan Van den Bussche |
On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Iztok Savnik, Kiyoshi Nitta, Riste Skrekovski, Nikolaus Augsten |
Statistics of RDF Store for Querying Knowledge Graphs. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Hellings, Mohammad Sadoghi |
The Fault-Tolerant Cluster-Sending Problem. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Varzinczak (eds.) |
Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Hellings, Yuqing Wu, Dirk Van Gucht, Marc Gyssens |
Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent Rewrite Rules. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schwartz 0002, Jan H. Boockmann, Leon Martin |
Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes |
Can You Answer While You Wait? |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiko Wakaki |
Assumption-Based Argumentation for Extended Disjunctive Logic Programming. |
FoIKS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran |
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic |
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Thalheim |
Schema Optimisation Instead of (Local) Normalisation. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stipe Pandzic |
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Jonas Haldimann |
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianglin Zhan, Cai Lu, Guangmin Hu |
Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasir Mahmood 0002, Arne Meier |
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Munyque Mittelmann, Laurent Perrussel |
Game Description Logic with Integers: A GDL Numerical Extension. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Juha Kontinen (eds.) |
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena V. Ravve |
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani, Jouko Väänänen |
Diversity, Dependence and Independence. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub |
Realisability of Choreographies. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Medved, Johan Nilsson, Pierre Nugues |
Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri David Santos |
Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant, Francesco Parisi |
Measuring Inconsistency in a General Information Space. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brijder, Marc Gyssens, Jan Van den Bussche |
On Matrices and K-Relations. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Xia, Michael Simpson 0001, Venkatesh Srinivasan 0001, Alex Thomo |
Strongly Minimal MapReduce Algorithms: A TeraSort Case Study. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Munqath Alattar, Attila Sali |
Functional Dependencies in Incomplete Databases with Limited Domains. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Murai, Katsuhiko Sano |
Craig Interpolation of Epistemic Logics with Distributed Knowledge. |
FoIKS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Steven Kutsch, Kai Sauerwald |
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu |
First-Order Definable Counting-Only Queries. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Link |
Old Keys that Open New Doors. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarina Britz, Ivan José Varzinczak |
Rationality and Context in Defeasible Subsumption. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Christian Reinbold |
Enumeration Complexity of Poor Man's Propositional Dependence Logic. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bliem |
ASP Programs with Groundings of Small Treewidth. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht |
A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi |
Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Doder, Nenad Savic, Zoran Ognjanovic |
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Marcel Preuß |
Inferences from Attribute-Disjoint and Duplicate-Preserving Relational Fragmentations. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema |
Probabilistic Team Semantics. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Heba Aamer, Haythem O. Ismail |
Concatenation, Separation, and Other Properties of Variably Polyadic Relations. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex |
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Böhm, Jakub Beránek, Martin Surkovský |
Haydi: Rapid Prototyping and Combinatorial Objects. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hadoux, Anthony Hunter, Jean-Baptiste Corrégé |
Strategic Dialogical Argumentation Using Multi-criteria Decision Making with Application to Epistemic and Emotional Aspects of Arguments. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Liu, Miroslaw Truszczynski |
Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zsolt László, Levente Török, György Kovács 0002 |
Improving the Performance of the k Rare Class Nearest Neighbor Classifier by the Ranking of Point Patterns. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Stefan Woltran (eds.) |
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid |
OntoDebug: Interactive Ontology Debugging Plug-in for Protégé. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle Hellings, Yuqing Wu, Marc Gyssens, Dirk Van Gucht |
The Power of Tarski's Relation Algebra on Trees. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Rácz, Attila Sali, Klaus-Dieter Schewe |
Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Wilhelm, Gabriele Kern-Isberner, Marc Finthammer, Christoph Beierle |
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies. |
FoIKS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Christian Eichhorn 0001, Gabriele Kern-Isberner |
Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle |
Systems and Implementations for Solving Reasoning Problems in Conditional Logics. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Kokkinis |
The Complexity of Non-Iterated Probabilistic Justification Logic. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thu-Hien Thi Nguyen, Van-Nam Huynh |
A k-Means-Like Algorithm for Clustering Categorical Data Using an Information Theoretic-Based Dissimilarity Measure. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Van Brussel, Emmanuel Müller, Bart Goethals |
Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Bauters, Weiru Liu, Lluís Godo |
Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Pivert, Henri Prade |
Possibilistic Conditional Tables. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Rácz, Attila Sali, Klaus-Dieter Schewe |
Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena V. Ravve |
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bliem, Stefan Woltran |
Equivalence Between Answer-Set Programs Under (Partially) Fixed Input. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002 |
A Logic for Non-deterministic Parallel Abstract State Machines. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema |
Approximation and Dependence via Multiteam Semantics. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp |
Integrity Constraints for General-Purpose Knowledge Bases. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José Maria Turull Torres |
Relational Complexity and Higher Order Logics. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pooya Moradian Zadeh, Ziad Kobti |
A Knowledge Based Framework for Link Prediction in Social Networks. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín O. Moguillansky |
A Study of Argument Acceptability Dynamics Through Core and Remainder Sets. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup |
Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Gyssens, Guillermo Ricardo Simari (eds.) |
Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek |
The Challenge of Optional Matching in SPARQL. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber |
Belief Merging in Dynamic Logic of Propositional Assignments. |
FoIKS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann, Cornelia Tadros |
Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. |
FoIKS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula, Juha Kontinen |
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. |
FoIKS |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license