Wei Li,
Yuefei Sui
Springer Nature Singapore
e druk, 2024
9789819964598
R-Calculus, V: Description Logics
Specificaties
Gebonden, blz.
|
Engels
Springer Nature Singapore |
e druk, 2024
ISBN13: 9789819964598
Rubricering
Juridisch
:
Onderdeel van serie
Perspectives in Formal Induction, Revision and Evolution
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Specificaties
ISBN13:9789819964598
Taal:Engels
Bindwijze:gebonden
Uitgever:Springer Nature Singapore
Inhoudsopgave
<p>Introduction.- Decidable DLs 30.- R-calculus for binary-valued description logic.- R-calculi for Post three-valued DL.- R-calculi for B22-valued DL.- R-calculi for Post L4 -valued DL.- Undecidable DLs.- Introduction.- Role R-calculus for binary-valued DL.- Role R-calculus for Post three-valued DL.- Role R-calculus for B22 -valued DL.- Role R-calculus for Post L4-valued DL.- A Finite injury priority method.</p><div><br></div>
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht