|
Author Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
|
|
|
| | |
Alliot, Jean-Marc
|
|
Metabolic Pathways as Temporal Logic Programs
J.-M. Alliot, M. Diéguez and L.F. del Cerro
LNAI 10021, p. 3 ff.
Full chapter in PDF
|
Apt, Krzysztof R.
|
|
On Decidability of a Logic of Gossips
K.R. Apt and D. Wojtczak
LNAI 10021, p. 18 ff.
Full chapter in PDF
|
Areces, Carlos
|
|
Hilbert-Style Axiomatization for Hybrid XPath with Data
C. Areces and R. Fervari
LNAI 10021, p. 34 ff.
Full chapter in PDF
|
| |
Baader, Franz
|
|
Approximate Unification in the Description Logic ℱℒ0
F. Baader, P. Marantidis and A. Okhotin
LNAI 10021, p. 49 ff.
Full chapter in PDF
|
Baget, Jean François
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Balbiani, Philippe
|
|
Temporal Here and There
P. Balbiani and M. Diéguez
LNAI 10021, p. 81 ff.
Full chapter in PDF
|
|
|
On Logics of Group Belief in Structured Coalitions
P. Balbiani, D. Pearce and L. Uridia
LNAI 10021, p. 97 ff.
Full chapter in PDF
|
Basseda, Reza
|
|
Formalizing Goal Serializability for Evaluation of Planning Features
R. Basseda and M. Kifer
LNAI 10021, p. 515 ff.
Full chapter in PDF
|
Beck, Harald
|
|
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner and K. Schekotihin
LNAI 10021, p. 522 ff.
Full chapter in PDF
|
Belardinelli, Francesco
|
|
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
F. Belardinelli and A. Lomuscio
LNAI 10021, p. 112 ff.
Full chapter in PDF
|
Benferhat, Salem
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Bierbaumer, Bruno
|
|
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner and K. Schekotihin
LNAI 10021, p. 522 ff.
Full chapter in PDF
|
Bistarelli, Stefano
|
|
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
S. Bistarelli, F. Rossi and F. Santini
LNAI 10021, p. 127 ff.
Full chapter in PDF
|
Boudou, Joseph
|
|
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
J. Boudou and E. Lorini
LNAI 10021, p. 144 ff.
Full chapter in PDF
|
Bouraoui, Zied
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Bozzelli, Laura
|
|
On the Expressiveness of Temporal Equilibrium Logic
L. Bozzelli and D. Pearce
LNAI 10021, p. 159 ff.
Full chapter in PDF
|
Brewka, Gerhard
|
|
Inconsistency Management in Reactive Multi-context Systems
G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite and J. Pührer
LNAI 10021, p. 529 ff.
Full chapter in PDF
|
|
|
Measuring Inconsistency in Answer Set Programs
M. Ulbricht, M. Thimm and G. Brewka
LNAI 10021, p. 577 ff.
Full chapter in PDF
|
Britz, Katarina
|
|
Introducing Role Defeasibility in Description Logics
K. Britz and I. Varzinczak
LNAI 10021, p. 174 ff.
Full chapter in PDF
|
| |
Croitoru, Cosmina
|
|
Opposition Frameworks
C. Croitoru and K. Mehlhorn
LNAI 10021, p. 190 ff.
Full chapter in PDF
|
Croitoru, Madalina
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
| |
Dao-Tran, Minh
|
|
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner and K. Schekotihin
LNAI 10021, p. 522 ff.
Full chapter in PDF
|
del Cerro, Luis Fariñas
|
|
Metabolic Pathways as Temporal Logic Programs
J.-M. Alliot, M. Diéguez and L.F. del Cerro
LNAI 10021, p. 3 ff.
Full chapter in PDF
|
Della Monica, Dario
|
|
Prompt Interval Temporal Logic
D. Della Monica, A. Montanari, A. Murano and P. Sala
LNAI 10021, p. 207 ff.
Full chapter in PDF
|
Diéguez, Martín
|
|
Metabolic Pathways as Temporal Logic Programs
J.-M. Alliot, M. Diéguez and L.F. del Cerro
LNAI 10021, p. 3 ff.
Full chapter in PDF
|
|
|
Temporal Here and There
P. Balbiani and M. Diéguez
LNAI 10021, p. 81 ff.
Full chapter in PDF
|
Doherty, Patrick
|
|
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Extended Abstract)
P. Doherty, J. Kvarnström and A. Szałas
LNAI 10021, p. 536 ff.
Full chapter in PDF
|
| |
Eiter, Thomas
|
|
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
T. Eiter and T. Kaminski
LNAI 10021, p. 223 ff.
Full chapter in PDF
|
|
|
Reactive Policies with Planning for Action Languages
Z.G. Saribatur and T. Eiter
LNAI 10021, p. 463 ff.
Full chapter in PDF
|
|
|
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner and K. Schekotihin
LNAI 10021, p. 522 ff.
Full chapter in PDF
|
Ellmauthaler, Stefan
|
|
Inconsistency Management in Reactive Multi-context Systems
G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite and J. Pührer
LNAI 10021, p. 529 ff.
Full chapter in PDF
|
| |
Fan, Tuan-Fang
|
|
Reasoning About Justified Belief Based on the Fusion of Evidence
T.-F. Fan and C.-J. Liau
LNAI 10021, p. 240 ff.
Full chapter in PDF
|
Fervari, Raul
|
|
Hilbert-Style Axiomatization for Hybrid XPath with Data
C. Areces and R. Fervari
LNAI 10021, p. 34 ff.
Full chapter in PDF
|
| |
Gebser, Martin
|
|
Writing Declarative Specifications for Clauses
M. Gebser, T. Janhunen, R. Kaminski, T. Schaub and S. Tasharrofi
LNAI 10021, p. 256 ff.
Full chapter in PDF
|
Girlando, Marianna
|
|
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
M. Girlando, B. Lellmann, N. Olivetti and G.L. Pozzato
LNAI 10021, p. 272 ff.
Full chapter in PDF
|
Gonçalves, Ricardo
|
|
Inconsistency Management in Reactive Multi-context Systems
G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite and J. Pührer
LNAI 10021, p. 529 ff.
Full chapter in PDF
|
|
|
Forgetting in ASP: The Forgotten Properties
R. Gonçalves, M. Knorr and J. Leite
LNAI 10021, p. 543 ff.
Full chapter in PDF
|
Greco, Sergio
|
|
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
S. Greco and F. Parisi
LNAI 10021, p. 288 ff.
Full chapter in PDF
|
| |
Hellwagner, Hermann
|
|
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner and K. Schekotihin
LNAI 10021, p. 522 ff.
Full chapter in PDF
|
Herzig, Andreas
|
|
On Hierarchical Task Networks
A. Herzig, L. Perrussel and Z. Xiao
LNAI 10021, p. 551 ff.
Full chapter in PDF
|
|
|
Refinement of Intentions
A. Herzig, L. Perrussel, Z. Xiao and D. Zhang
LNAI 10021, p. 558 ff.
Full chapter in PDF
|
Hunter, Aaron
|
|
GenB: A General Solver for AGM Revision
A. Hunter and E. Tsang
LNAI 10021, p. 564 ff.
Full chapter in PDF
|
| |
Ignatiev, Alexey
|
|
Efficient Reasoning for Inconsistent Horn Formulae
J. Marques-Silva, A. Ignatiev, C. Mencía and R. Peñaloza
LNAI 10021, p. 336 ff.
Full chapter in PDF
|
| |
Janhunen, Tomi
|
|
Writing Declarative Specifications for Clauses
M. Gebser, T. Janhunen, R. Kaminski, T. Schaub and S. Tasharrofi
LNAI 10021, p. 256 ff.
Full chapter in PDF
|
Järvisalo, Matti
|
|
Pakota: A System for Enforcement in Abstract Argumentation
A. Niskanen, J.P. Wallner and M. Järvisalo
LNAI 10021, p. 385 ff.
Full chapter in PDF
|
Jin, Yifan
|
|
Revising Possibilistic Knowledge Bases via Compatibility Degrees
Y. Jin, K. Wang, Z. Wang and Z. Zhuang
LNAI 10021, p. 305 ff.
Full chapter in PDF
|
| |
Kaminski, Roland
|
|
Writing Declarative Specifications for Clauses
M. Gebser, T. Janhunen, R. Kaminski, T. Schaub and S. Tasharrofi
LNAI 10021, p. 256 ff.
Full chapter in PDF
|
Kaminski, Tobias
|
|
Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
T. Eiter and T. Kaminski
LNAI 10021, p. 223 ff.
Full chapter in PDF
|
Kifer, Michael
|
|
Formalizing Goal Serializability for Evaluation of Planning Features
R. Basseda and M. Kifer
LNAI 10021, p. 515 ff.
Full chapter in PDF
|
Knorr, Matthias
|
|
Inconsistency Management in Reactive Multi-context Systems
G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite and J. Pührer
LNAI 10021, p. 529 ff.
Full chapter in PDF
|
|
|
Forgetting in ASP: The Forgotten Properties
R. Gonçalves, M. Knorr and J. Leite
LNAI 10021, p. 543 ff.
Full chapter in PDF
|
Kuznets, Roman
|
|
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
R. Kuznets
LNAI 10021, p. 320 ff.
Full chapter in PDF
|
Kvarnström, Jonas
|
|
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Extended Abstract)
P. Doherty, J. Kvarnström and A. Szałas
LNAI 10021, p. 536 ff.
Full chapter in PDF
|
| |
Leite, João
|
|
Inconsistency Management in Reactive Multi-context Systems
G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite and J. Pührer
LNAI 10021, p. 529 ff.
Full chapter in PDF
|
|
|
Forgetting in ASP: The Forgotten Properties
R. Gonçalves, M. Knorr and J. Leite
LNAI 10021, p. 543 ff.
Full chapter in PDF
|
Lellmann, Björn
|
|
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
M. Girlando, B. Lellmann, N. Olivetti and G.L. Pozzato
LNAI 10021, p. 272 ff.
Full chapter in PDF
|
Liau, Churn-Jung
|
|
Reasoning About Justified Belief Based on the Fusion of Evidence
T.-F. Fan and C.-J. Liau
LNAI 10021, p. 240 ff.
Full chapter in PDF
|
Lomuscio, Alessio
|
|
A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
F. Belardinelli and A. Lomuscio
LNAI 10021, p. 112 ff.
Full chapter in PDF
|
Lorini, Emiliano
|
|
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
J. Boudou and E. Lorini
LNAI 10021, p. 144 ff.
Full chapter in PDF
|
| |
Marantidis, Pavlos
|
|
Approximate Unification in the Description Logic ℱℒ0
F. Baader, P. Marantidis and A. Okhotin
LNAI 10021, p. 49 ff.
Full chapter in PDF
|
Marques-Silva, Joao
|
|
Efficient Reasoning for Inconsistent Horn Formulae
J. Marques-Silva, A. Ignatiev, C. Mencía and R. Peñaloza
LNAI 10021, p. 336 ff.
Full chapter in PDF
|
Mehlhorn, Kurt
|
|
Opposition Frameworks
C. Croitoru and K. Mehlhorn
LNAI 10021, p. 190 ff.
Full chapter in PDF
|
Mencía, Carlos
|
|
Efficient Reasoning for Inconsistent Horn Formulae
J. Marques-Silva, A. Ignatiev, C. Mencía and R. Peñaloza
LNAI 10021, p. 336 ff.
Full chapter in PDF
|
Montanari, Angelo
|
|
Prompt Interval Temporal Logic
D. Della Monica, A. Montanari, A. Murano and P. Sala
LNAI 10021, p. 207 ff.
Full chapter in PDF
|
Mugnier, Marie-Laure
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Murano, Aniello
|
|
Prompt Interval Temporal Logic
D. Della Monica, A. Montanari, A. Murano and P. Sala
LNAI 10021, p. 207 ff.
Full chapter in PDF
|
| |
Naumov, Pavel
|
|
Information Flow Under Budget Constraints
P. Naumov and J. Tao
LNAI 10021, p. 353 ff.
Full chapter in PDF
|
Nickles, Matthias
|
|
A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics
M. Nickles
LNAI 10021, p. 369 ff.
Full chapter in PDF
|
Niskanen, Andreas
|
|
Pakota: A System for Enforcement in Abstract Argumentation
A. Niskanen, J.P. Wallner and M. Järvisalo
LNAI 10021, p. 385 ff.
Full chapter in PDF
|
| |
Okhotin, Alexander
|
|
Approximate Unification in the Description Logic ℱℒ0
F. Baader, P. Marantidis and A. Okhotin
LNAI 10021, p. 49 ff.
Full chapter in PDF
|
Olivetti, Nicola
|
|
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
M. Girlando, B. Lellmann, N. Olivetti and G.L. Pozzato
LNAI 10021, p. 272 ff.
Full chapter in PDF
|
Oren, Nir
|
|
A Two-Phase Dialogue Game for Skeptical Preferred Semantics
Z. Shams and N. Oren
LNAI 10021, p. 570 ff.
Full chapter in PDF
|
| |
Papini, Odile
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Parisi, Francesco
|
|
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
S. Greco and F. Parisi
LNAI 10021, p. 288 ff.
Full chapter in PDF
|
Pearce, David
|
|
On Logics of Group Belief in Structured Coalitions
P. Balbiani, D. Pearce and L. Uridia
LNAI 10021, p. 97 ff.
Full chapter in PDF
|
|
|
On the Expressiveness of Temporal Equilibrium Logic
L. Bozzelli and D. Pearce
LNAI 10021, p. 159 ff.
Full chapter in PDF
|
Peñaloza, Rafael
|
|
Efficient Reasoning for Inconsistent Horn Formulae
J. Marques-Silva, A. Ignatiev, C. Mencía and R. Peñaloza
LNAI 10021, p. 336 ff.
Full chapter in PDF
|
Peppas, Pavlos
|
|
Kinetic Consistency and Relevance in Belief Revision
P. Peppas and M.-A. Williams
LNAI 10021, p. 401 ff.
Full chapter in PDF
|
Perrussel, Laurent
|
|
On Hierarchical Task Networks
A. Herzig, L. Perrussel and Z. Xiao
LNAI 10021, p. 551 ff.
Full chapter in PDF
|
|
|
Refinement of Intentions
A. Herzig, L. Perrussel, Z. Xiao and D. Zhang
LNAI 10021, p. 558 ff.
Full chapter in PDF
|
Philipp, Tobias
|
|
DRAT Proofs for XOR Reasoning
T. Philipp and A. Rebola-Pardo
LNAI 10021, p. 415 ff.
Full chapter in PDF
|
Polberg, Sylwia
|
|
Understanding the Abstract Dialectical Framework
S. Polberg
LNAI 10021, p. 430 ff.
Full chapter in PDF
|
Pozzato, Gian Luca
|
|
Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
M. Girlando, B. Lellmann, N. Olivetti and G.L. Pozzato
LNAI 10021, p. 272 ff.
Full chapter in PDF
|
Pührer, Jörg
|
|
Inconsistency Management in Reactive Multi-context Systems
G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite and J. Pührer
LNAI 10021, p. 529 ff.
Full chapter in PDF
|
| |
Rebola-Pardo, Adrián
|
|
DRAT Proofs for XOR Reasoning
T. Philipp and A. Rebola-Pardo
LNAI 10021, p. 415 ff.
Full chapter in PDF
|
Rocher, Swan
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Rondogiannis, Panos
|
|
Extensional Semantics for Higher-Order Logic Programs with Negation
P. Rondogiannis and I. Symeonidou
LNAI 10021, p. 447 ff.
Full chapter in PDF
|
Rossi, Fabio
|
|
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
S. Bistarelli, F. Rossi and F. Santini
LNAI 10021, p. 127 ff.
Full chapter in PDF
|
| |
Sala, Pietro
|
|
Prompt Interval Temporal Logic
D. Della Monica, A. Montanari, A. Murano and P. Sala
LNAI 10021, p. 207 ff.
Full chapter in PDF
|
Santini, Francesco
|
|
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks
S. Bistarelli, F. Rossi and F. Santini
LNAI 10021, p. 127 ff.
Full chapter in PDF
|
Saribatur, Zeynep G.
|
|
Reactive Policies with Planning for Action Languages
Z.G. Saribatur and T. Eiter
LNAI 10021, p. 463 ff.
Full chapter in PDF
|
Schaub, Torsten
|
|
Writing Declarative Specifications for Clauses
M. Gebser, T. Janhunen, R. Kaminski, T. Schaub and S. Tasharrofi
LNAI 10021, p. 256 ff.
Full chapter in PDF
|
Schekotihin, Konstantin
|
|
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
H. Beck, B. Bierbaumer, M. Dao-Tran, T. Eiter, H. Hellwagner and K. Schekotihin
LNAI 10021, p. 522 ff.
Full chapter in PDF
|
Shams, Zohreh
|
|
A Two-Phase Dialogue Game for Skeptical Preferred Semantics
Z. Shams and N. Oren
LNAI 10021, p. 570 ff.
Full chapter in PDF
|
Symeonidou, Ioanna
|
|
Extensional Semantics for Higher-Order Logic Programs with Negation
P. Rondogiannis and I. Symeonidou
LNAI 10021, p. 447 ff.
Full chapter in PDF
|
Szałas, Andrzej
|
|
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Extended Abstract)
P. Doherty, J. Kvarnström and A. Szałas
LNAI 10021, p. 536 ff.
Full chapter in PDF
|
| |
Tabia, Karim
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
J.F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher and K. Tabia
LNAI 10021, p. 64 ff.
Full chapter in PDF
|
Tao, Jia
|
|
Information Flow Under Budget Constraints
P. Naumov and J. Tao
LNAI 10021, p. 353 ff.
Full chapter in PDF
|
Tasharrofi, Shahab
|
|
Writing Declarative Specifications for Clauses
M. Gebser, T. Janhunen, R. Kaminski, T. Schaub and S. Tasharrofi
LNAI 10021, p. 256 ff.
Full chapter in PDF
|
Thimm, Matthias
|
|
Measuring Inconsistency in Answer Set Programs
M. Ulbricht, M. Thimm and G. Brewka
LNAI 10021, p. 577 ff.
Full chapter in PDF
|
Tsang, Eric
|
|
GenB: A General Solver for AGM Revision
A. Hunter and E. Tsang
LNAI 10021, p. 564 ff.
Full chapter in PDF
|
Turán, György
|
|
Characterizability in Horn Belief Revision
J. Yaggie and G. Turán
LNAI 10021, p. 497 ff.
Full chapter in PDF
|
| |
Ulbricht, Markus
|
|
Measuring Inconsistency in Answer Set Programs
M. Ulbricht, M. Thimm and G. Brewka
LNAI 10021, p. 577 ff.
Full chapter in PDF
|
Uridia, Levan
|
|
On Logics of Group Belief in Structured Coalitions
P. Balbiani, D. Pearce and L. Uridia
LNAI 10021, p. 97 ff.
Full chapter in PDF
|
| |
Varzinczak, Ivan
|
|
Introducing Role Defeasibility in Description Logics
K. Britz and I. Varzinczak
LNAI 10021, p. 174 ff.
Full chapter in PDF
|
Verheij, Bart
|
|
Correct Grounded Reasoning with Presumptive Arguments
B. Verheij
LNAI 10021, p. 481 ff.
Full chapter in PDF
|
| |
Wallner, Johannes P.
|
|
Pakota: A System for Enforcement in Abstract Argumentation
A. Niskanen, J.P. Wallner and M. Järvisalo
LNAI 10021, p. 385 ff.
Full chapter in PDF
|
Wang, Kewen
|
|
Revising Possibilistic Knowledge Bases via Compatibility Degrees
Y. Jin, K. Wang, Z. Wang and Z. Zhuang
LNAI 10021, p. 305 ff.
Full chapter in PDF
|
Wang, Zhe
|
|
Revising Possibilistic Knowledge Bases via Compatibility Degrees
Y. Jin, K. Wang, Z. Wang and Z. Zhuang
LNAI 10021, p. 305 ff.
Full chapter in PDF
|
Williams, Mary-Anne
|
|
Kinetic Consistency and Relevance in Belief Revision
P. Peppas and M.-A. Williams
LNAI 10021, p. 401 ff.
Full chapter in PDF
|
Wojtczak, Dominik
|
|
On Decidability of a Logic of Gossips
K.R. Apt and D. Wojtczak
LNAI 10021, p. 18 ff.
Full chapter in PDF
|
| |
Xiao, Zhanhao
|
|
On Hierarchical Task Networks
A. Herzig, L. Perrussel and Z. Xiao
LNAI 10021, p. 551 ff.
Full chapter in PDF
|
|
|
Refinement of Intentions
A. Herzig, L. Perrussel, Z. Xiao and D. Zhang
LNAI 10021, p. 558 ff.
Full chapter in PDF
|
| |
Yaggie, Jon
|
|
Characterizability in Horn Belief Revision
J. Yaggie and G. Turán
LNAI 10021, p. 497 ff.
Full chapter in PDF
|
| |
Zhang, Dongmo
|
|
Refinement of Intentions
A. Herzig, L. Perrussel, Z. Xiao and D. Zhang
LNAI 10021, p. 558 ff.
Full chapter in PDF
|
Zhuang, Zhiqiang
|
|
Revising Possibilistic Knowledge Bases via Compatibility Degrees
Y. Jin, K. Wang, Z. Wang and Z. Zhuang
LNAI 10021, p. 305 ff.
Full chapter in PDF
|
© Springer International Publishing AG 2016
|
