John Grant

Orcid: 0000-0001-7503-7703

According to our database1, John Grant authored at least 120 papers between 1972 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Paraconsistent reasoning for inconsistency measurement in declarative process specifications.
Inf. Syst., 2024

On measuring inconsistency in graph databases with regular path constraints.
Artif. Intell., 2024

2023
Postulate satisfaction for inconsistency measures in monotonic logics and databases.
J. Appl. Non Class. Logics, October, 2023

Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators.
Logica Universalis, September, 2023

Semantic inconsistency measures using 3-valued logics.
Int. J. Approx. Reason., May, 2023

On measuring inconsistency in definite and indefinite databases with denial constraints.
Artif. Intell., May, 2023

How Many Inconsistencies Are In Your Database?
Proceedings of the 31st Symposium of Advanced Database Systems, 2023

An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Relative Inconsistency Measures for Indefinite Databases with Denial Constraints.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.
Proceedings of the Business Process Management Workshops, 2023

2022
Fake news detection based on statement conflict.
J. Intell. Inf. Syst., 2022

FaNDS: Fake News Detection System using energy flow.
Data Knowl. Eng., 2022

General information spaces: measuring inconsistency, rationality postulates, and complexity.
Ann. Math. Artif. Intell., 2022

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Measuring Inconsistency in Declarative Process Specifications.
Proceedings of the Business Process Management - 20th International Conference, 2022

2021
Measuring Inconsistency in Some Logics with Modal Operators.
Stud Logica, 2021

Measuring inconsistency in some branching time logics.
J. Appl. Non Class. Logics, 2021

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases.
J. Artif. Intell. Res., 2021

On Database Inconsistency Measures (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

2020
Measuring Inconsistency in Generalized Propositional Logic.
Logica Universalis, 2020

IncompFuse: a logical framework for historical information fusion with inaccurate data sources.
J. Intell. Inf. Syst., 2020

A-Cure: An accurate information reconstruction from inaccurate data sources.
Inf. Syst., 2020

Measuring Inconsistency in Finitary First-order Logic.
FLAP, 2020

Relative inconsistency measures.
Artif. Intell., 2020

Measuring Inconsistency in a General Information Space.
Proceedings of the Foundations of Information and Knowledge Systems, 2020

On Measuring Inconsistency in Relational Databases with Denial Constraints.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
Classifying Inconsistency Measures Using Graphs.
J. Artif. Intell. Res., 2019

Inconsistency Measures for Relational Databases.
CoRR, 2019

Financial Entity Identification and Information Integration (FEIII) 2019 Challenge: The Report of the Organizing Committee.
Proceedings of the 5th Workshop on Data Science for Macro-modeling with Financial and Economic Datasets, 2019

Measuring Inconsistency in Bank Holding Company Data.
Proceedings of the 5th Workshop on Data Science for Macro-modeling with Financial and Economic Datasets, 2019

2018
Probabilistic spatio-temporal knowledge bases: Capacity constraints, count queries, and consistency checking.
Int. J. Approx. Reason., 2018

Evaluation of Flexilink as Deterministic Unified Real-Time Protocol for Industrial Networks.
Proceedings of the 17th IEEE International Conference On Trust, 2018

Financial Entity Identification and Information Integration (FEIII) 2018 Challenge: The Report of the Organizing Committee.
Proceedings of the Fourth International Workshop on Data Science for Macro-Modeling with Financial and Economic Datasets, 2018

Towards a Unified Framework for Syntactic Inconsistency Measures.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
On repairing and querying inconsistent probabilistic spatio-temporal databases.
Int. J. Approx. Reason., 2017

Analysing inconsistent information using distance-based measures.
Int. J. Approx. Reason., 2017

Financial Entity Identification and Information Integration (FEIII) 2017 Challenge: The Report of the Organizing Committee.
Proceedings of the 3rd International Workshop on Data Science for Macro-Modeling with Financial and Economic Datasets, 2017

Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016
A systematic approach to reliability assessment in integrated databases.
J. Intell. Inf. Syst., 2016

Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases.
J. Artif. Intell. Res., 2016

Applying Scrum project management in ECE curriculum.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Financial Entity Identification and Information Integration (FEIII) Challenge: The Report of the Organizing Committee.
Proceedings of the Second International Workshop on Data Science for Macro-Modeling, 2016

2015
Using Shapley Inconsistency Values for Distributed Information Systems with Uncertainty.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014
STUN: querying spatio-temporal uncertain (social) networks.
Soc. Netw. Anal. Min., 2014

Manipulating Games by Sharing Information.
Stud Logica, 2014

Repairs and Consistent Answers for Inconsistent Probabilistic Spatio-Temporal Databases.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

Integrity Constraints for Probabilistic Spatio-Temporal Knowledgebases.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

2013
Research in Probabilistic Spatiotemporal Databases: The SPOT Framework.
Proceedings of the Advances in Probabilistic Databases for Uncertain Information Management, 2013

An Approach to Human-Level Commonsense Reasoning.
Proceedings of the Paraconsistency: Logic and Applications, 2013

Customized Policies for Handling Partial Information in Relational Databases.
IEEE Trans. Knowl. Data Eng., 2013

Probabilistic logics for objects located in space and time.
J. Log. Comput., 2013

Aggregate Count Queries in Probabilistic Spatio-temporal Databases.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Distance-Based Measures of Inconsistency.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012
STUN: Spatio-Temporal Uncertain (Social) Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011
Logic and Knowledge Bases.
Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

Manipulating Boolean Games through Communication.
Proceedings of the IJCAI 2011, 2011

Measuring the Good and the Bad in Inconsistent Information.
Proceedings of the IJCAI 2011, 2011

Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Scaling Cautious Selection in Spatial Probabilistic Temporal Databases.
Proceedings of the Methods for Handling Imperfect Spatial Information, 2010

Postulates for revising BDI structures.
Synth., 2010

An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.
Artif. Intell., 2010

Intentions in Equilibrium.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases.
IEEE Trans. Knowl. Data Eng., 2009

Fast and Accurate Prediction of the Destination of Moving Objects.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

2008
Deductive Databases.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Null values in SQL.
SIGMOD Rec., 2008

Analysing inconsistent first-order knowledgebases.
Artif. Intell., 2008

Active logic semantics for a single agent in a static world.
Artif. Intell., 2008

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
A Logical Formulation of Probabilistic Spatial Databases.
IEEE Trans. Knowl. Data Eng., 2007

2006
PRL: A probabilistic relational language.
Mach. Learn., 2006

Measuring inconsistency in knowledgebases.
J. Intell. Inf. Syst., 2006

2005
Aggregate operators in probabilistic databases.
J. ACM, 2005

A logic-based model of intention formation and action for multi-agent subcontracting.
Artif. Intell., 2005

Formal Approaches to Teamwork.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2002
A logic-based approach to data integration.
Theory Pract. Log. Program., 2002

Probabilistic Aggregates.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

A Logic-Based Model of Intentions for Multi-Agent Subcontracting.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Logical Approach to Capability-Based Rewriting in a Mediator for WebSources.
J. Intell. Inf. Syst., 2001

2000
Logic-Based Query Optimization for Object Databases.
IEEE Trans. Knowl. Data Eng., 2000

Applications Of Paraconsistency In Data And Knowledge Bases.
Synth., 2000

A Logic for Characterizing Multiple Bounded Agents.
Auton. Agents Multi Agent Syst., 2000

1998
Integrity Constraints: Semantics and Applications.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997
A Unified Treatment of Null Values Using Constraints.
Inf. Sci., 1997

Semantic Query Optimization for Object Databases.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

1996
Model Theoretic Approach to View Updates in Deductive Databases.
J. Autom. Reason., 1996

1995
Reasoning in Inconsistent Knowledge Bases.
IEEE Trans. Knowl. Data Eng., 1995

The Optimistic and Cautius Semantics for Inconsistent Knowledge Bases.
Acta Cybern., 1995

1993
Query Languages for Relational Multidatabases
VLDB J., 1993

ERL: Logic for Entity-Relationship Databases.
J. Intell. Inf. Syst., 1993

View Updates in Stratified Disjunctive Databases.
J. Autom. Reason., 1993

1992
<i>On object-orieted database systems</i> by K. R. Dittrich, U. Dayal and A. P. Buchmann (Eds.), Springer-Verlag, Berlin, 1991, pp. 422 (hardcover), DM98, ISBN 0-387 53496-2.
Knowl. Eng. Rev., 1992

The Impact of Logic Programming on Databases.
Commun. ACM, 1992

1990
Logic-Based Approach to Semantic Query Optimization.
ACM Trans. Database Syst., 1990

Extended database logic: Complex objects and deduction.
Inf. Sci., 1990

1989
Deductive database theories.
Knowl. Eng. Rev., 1989

1988
Foundations of Semantic Query Optimization for Deductive Databases
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Deductive Heterogeneous Databases.
Proceedings of the Methodologies for Intelligent Systems, 1987

Logical introduction to databases.
Harcourt Brace Jovanovich, ISBN: 978-0-15-551175-0, 1987

1986
Answering Queries in Indefinite Databases and the Null Value Problem.
Adv. Comput. Res., 1986

Semantic Query Optimization: Additional Constraints and Control Strategies.
Proceedings of the Expert Database Systems, 1986

1985
Normalization and Axiomatization for Numerical Dependencies
Inf. Control., April, 1985

Inferences for Numerical Dependencies.
Theor. Comput. Sci., 1985

1984
A course in applied logic.
ACM SIGCSE Bull., 1984

Constraint preserving and lossless database transformations.
Inf. Syst., 1984

1982
On the family of generalized dependency constraints.
J. ACM, 1982

On optimizing the evaluation of a set of expressions.
Int. J. Parallel Program., 1982

1981
Numerical Dependencies.
Proceedings of the XP2 Workshop on Relational Database Theory, 1981

1980
Incomplete Information in a Relational Database.
Fundam. Informaticae, 1980

1979
Partial Values in a Tabular Database Model.
Inf. Process. Lett., 1979

Optimization in Deductive and Conventional Relational Database Systems.
Proceedings of the Advances in Data Base Theory, 1979

1978
Individualized course in theoretical computer science.
ACM SIGCSE Bull., 1978

Classifications for inconsistent theories.
Notre Dame J. Formal Log., 1978

String operations for a data sublanguage.
Proceedings of the 16th Annual Southeast Regional Conference, 1978

1977
Null Values in a Relational Data Base.
Inf. Process. Lett., 1977

Book Review - Data Base Design by Gio Wiederhold.
IEEE Database Eng. Bull., 1977

1975
Corrigendum to my paper: "Recognizable algebras of formulas".
Notre Dame J. Formal Log., 1975

1974
Imcomplete models.
Notre Dame J. Formal Log., 1974

1972
Recognizable algebras of formulas.
Notre Dame J. Formal Log., 1972


  Loading...