Ata uhi

R-Calculus, IV: Propositional Logic

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three...

Whakaahuatanga katoa

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Ngā kaituhi matua: Li, Wei (Author), Sui, Yuefei (Author)
Kaituhi rangatōpū: SpringerLink (Online service)
Hōputu: Tāhiko īPukapuka
Reo:Ingarihi
I whakaputaina: Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
Putanga:1st ed. 2023.
Rangatū:Perspectives in Formal Induction, Revision and Evolution,
Ngā marau:
Machine theory.
Mathematical logic.
Logic programming.
Mathematical models.
Computer science > Mathematics.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Logic in AI.
Mathematical Modeling and Industrial Mathematics.
Mathematics of Computing.
Urunga tuihono:https://doi.org/10.1007/978-981-19-8633-8
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

Ngā tūemi rite