×

Found 5,170 Documents (Results 1–100)

Integrating competencies into preventive maintenance scheduling with answer set optimization. (English) Zbl 07936413

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 381-400 (2024).
MSC:  68P15 68T35 68U35

Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence. (English) Zbl 07936404

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 222-234 (2024).
MSC:  68P15 68T35 68U35
Full Text: DOI

Minimizing agents’ state corruption resulting from leak-free epistemic communication modeling. (English) Zbl 07936401

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 165-181 (2024).
MSC:  68P15 68T35 68U35
Full Text: DOI

Propositional variable forgetting and marginalization: semantically, two sides of the same coin. (English) Zbl 07936400

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 144-162 (2024).
MSC:  68P15 68T35 68U35
Full Text: DOI

Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference. (English) Zbl 07936397

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 85-103 (2024).
MSC:  68P15 68T35 68U35
Full Text: DOI

Computing repairs under functional and inclusion dependencies via argumentation. (English) Zbl 07936394

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 23-42 (2024).
MSC:  68P15 68T35 68U35

Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies. (English) Zbl 07936393

Meier, Arne (ed.) et al., Foundations of information and knowledge systems. 13th international symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14589, 3-22 (2024).
MSC:  68P15 68T35 68U35
Full Text: DOI

On the expressive power of message-passing neural networks as global feature map transformers. (English) Zbl 07630637

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 20-34 (2022).

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software