Central Library

Normal view MARC view ISBD view

Foundations of Information and Knowledge Systems [electronic resource] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings / edited by Arne Meier, Magdalena Ortiz.

Contributor(s): Meier, Arne [editor.] | Ortiz, Magdalena [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 14589Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edition: 1st ed. 2024.Description: XXI, 402 p. 56 illus., 12 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031569401.Subject(s): Machine theory | Logic programming | Expert systems (Computer science) | Artificial intelligence | Application software | Programming languages (Electronic computers) | Formal Languages and Automata Theory | Logic in AI | Knowledge Based Systems | Artificial Intelligence | Computer and Information Systems Applications | Programming LanguageAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online
Contents:
Invited Talks -- Repairs -- Dependencies and Constraints -- Beliefs -- Knowledge Representation and Reasoning -- Nonmonotonicity -- Axiomatizations -- Logics and Semantics -- Argumentation -- Answer Set Programming. .
In: Springer Nature eBookSummary: This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories, or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics, and optimization.
    average rating: 0.0 (0 votes)
No physical items for this record

Invited Talks -- Repairs -- Dependencies and Constraints -- Beliefs -- Knowledge Representation and Reasoning -- Nonmonotonicity -- Axiomatizations -- Logics and Semantics -- Argumentation -- Answer Set Programming. .

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories, or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics, and optimization.

There are no comments for this item.

Log in to your account to post a comment.