Flesca Sergio (77 results)

Condition: New.

Paperback or Softback. Condition: New. Repairing and Querying Databases Under Aggregate Constraints. Book.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Paperback or Softback. Condition: New. Foundations of Intelligent Systems: 26th International Symposium, Ismis 2022, Cosenza, Italy, October 3-5, 2022, Proceedings. Book.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New. pp. 80.

Condition: New. In English.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Condition: New.

Paperback. Condition: Brand New. 506 pages. 9.25x6.10x1.03 inches. In Stock.

Kartoniert / Broschiert. Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 26th International Symposium on Foundations of Intelligent Systems, ISMIS 2022, held in Cosenza, Italy, in October 2022.The 31 regular papers, 11 short papers and 4 industrial papers presented in this volume were carefully reviewed and selected from 71 submissions. They were organized in topical sections as follows: Social Media and Recommendation; Natural Language Processing; Explainability; Intelligent Systems; Classification and Clustering; Complex Data; Medical Applications; Industrial Applications.…

Taschenbuch. Condition: Neu. Repairing and Querying Databases under Aggregate Constraints | Sergio Flesca (u. a.) | Taschenbuch | viii | Englisch | 2011 | Springer | EAN 9781461416401 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condition: New.

Taschenbuch. Condition: Neu. Foundations of Intelligent Systems | 26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3-5, 2022, Proceedings | Michelangelo Ceci (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2022 | Springer | EAN 9783031165634 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: New.

Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Research has deeply investigated several issues related to the use of integrity constraints on relational databases. In particular, a great deal of attention has been devoted to the problem of extracting "reliable" information from databases containing pieces of information inconsistent with regard to some integrity constraints. In this manuscript, the problem of extracting consistent information from relational databases violating integrity constraints on numerical data is addressed. Aggregate constraints defined as linear inequalities on aggregate-sum queries on input data are considered. The notion of repair as consistent set of updates at attribute-value level is exploited, and the characterization of several data-complexity issues related to repairing data and computing consistent query answers is provided. Moreover, a method for computing ¿reasonable¿ repairs of inconsistent numerical databases is introduced, for a restricted but expressive class of aggregate constraints. An extension of this method for dealing with the data repairing problem in the presence of weak aggregate constraints which are expected to be satisfied, but not required to, is presented. Furthermore, a technique for computing consistent answers of aggregate queries in the presence of a wide form of aggregate constraints is provided. Finally, extensions of the framework as well as several open problems are discussed. …

Condition: New. In English.

Condition: Hervorragend. Zustand: Hervorragend | Seiten: 508 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 26th International Symposium on Foundations of Intelligent Systems, ISMIS 2022, held in Cosenza, Italy, in October 2022. The 31 regular papers, 11 short papers and 4 industrial papers presented in this volume were carefully reviewed and selected from 71 submissions. They were organized in topical sections as follows: Social Media and Recommendation; Natural Language Processing; Explainability; Intelligent Systems; Classification and Clustering; Complex Data; Medical Applications; Industrial Applications.…

paperback. Condition: New. New .Ships From Multiple Locations. book.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicting Knowledge Bases.- Multi-agent Logics of Dynamic Belief and Knowledge.- Evolution and Changes.- Evolving Logic Programs.- A Compilation of Updates plus Preferences.- Description Logic and Semantic Web.- Towards Service Description Logics.- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web.- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.- Complexity Issues.- Polynomial-Length Planning Spans the Polynomial Hierarchy.- Complexity of Multi-agent Systems Behavior.- Complexity and Algorithms for the Matching of Bag and Set Terms.- Probabilistic Logic.- Non-commutativity and Expressive Deductive Logic Databases.- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.- Planning.- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.- Answer Set Planning under Action Costs.- Modal Logic and Causal Reasoning.- On Fibring Semantics for BDI Logics.- A Modal Formulation of McCain and Turner's Theory of Causal Reasoning.- Second-Order Quantifier Elimination in Modal Contexts.- Theory.- Interpolation Theorems for Nonmonotonic Reasoning Systems.- Minimal Answer Computation and SOL.- Decidability of Interval Temporal Logics over Split-Frames via Granularity.- Reasoning under Uncertainty.- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.- A Qualitative Reasoning with Nuanced Information.- Satisfiability.- Dependent and Independent Variables in Propositional Satisfiability.- A DPLL-Based Calculus for Ground SatisfiabilityModulo Theories.- Paraconsistent Reasoning.- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.- Three-Valued Logics for Inconsistency Handling.- Paraconsistent Logic Programs.- Actions and Causation.- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.- Reasoning about Actions in Prioritized Default Theory.- Towards a Conditional Logic of Actions and Causation.- Logics for Agents.- Axiomatising Nash-Consistent Coalition Logic.- Representing Possibilities in Relation to Constraints and Agents.- An Abductive Logic Programming Architecture for Negotiating Agents.- Semantics.- Preferred Answer Sets for Ordered Logic Programs.- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.- An Infinite-Valued Semantics for Logic Programs with Negation.- Optimization Issues in Answer Set Semantics.- More on noMoRe.- Answer Set Programming by Ant Colony Optimization.- Testing the Equivalence of Logic Programs under Stable Model Semantics.- System Session.- Argumentative Reasoning with ABEL.- COBA: A Consistency-Based Belief Revision System.- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.- : Integrating Data Mining with Intelligent Query Answering.- NoMoRe: Non-monotonic Reasoning with Logic Programs.- Process Miner - A Tool for Mining Process Schemes from Event-Based Data.- SMILES: A Multi-purpose Learning System.- The aspps System.- The DLV System.- The DLVK Planning System: Progress Report.- Z-log: Applying System-Z.- Invited Talks.- Hypergraph Transversal Computation and Related Problems in Logic and AI.- Alternation.- The USA-Advisor: A Case Study in Answer Set Programming. …

Condition: New.