Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5

Theory and Applications of Satisfiability Testing – SAT 2021 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-80223-3_16 ◽

2021 ◽

pp. 225-241

Author(s):

Pei Huang ◽

Rundong Li ◽

Minghao Liu ◽

Feifei Ma ◽

Jian Zhang

Keyword(s):

Modal Logic ◽

Minimal Model ◽

Model Generation

Download Full-text

Minimal model generation based on E-hyper tableaux

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_7 ◽

1997 ◽

pp. 99-110 ◽

Cited By ~ 1

Author(s):

Wenjin Lu

Keyword(s):

Minimal Model ◽

Model Generation

Download Full-text

Terminating Minimal Model Generation Procedures for Propositional Modal Logics

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08587-6_30 ◽

2014 ◽

pp. 381-395 ◽

Cited By ~ 1

Author(s):

Fabio Papacchini ◽

Renate A. Schmidt

Keyword(s):

Minimal Model ◽

Modal Logics ◽

Model Generation

Download Full-text

Answer Set Computation Based on a Minimal Model Generation Theorem Prover

PRICAI 2004: Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28633-2_7 ◽

2004 ◽

pp. 43-52 ◽

Cited By ~ 1

Author(s):

Yasuyuki Shirai ◽

Ryuzo Hasegawa

Keyword(s):

Minimal Model ◽

Theorem Prover ◽

Model Generation ◽

Generation Theorem ◽

Answer Set

Download Full-text

Computational Space Efficiency and Minimal Model Generation for Guarded Formulae

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45653-8_6 ◽

2001 ◽

pp. 85-99 ◽

Cited By ~ 9

Author(s):

Lilia Georgieva ◽

Ullrich Hustadt ◽

Renate A. Schmidt

Keyword(s):

Minimal Model ◽

Model Generation ◽

Space Efficiency

Download Full-text

Minimal model generation

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023733 ◽

2005 ◽

pp. 197-203 ◽

Cited By ~ 26

Author(s):

A. Bouajjani ◽

J-C. Fernandez ◽

N. Halbwachs

Keyword(s):

Minimal Model ◽

Model Generation

Download Full-text

Efficient Minimal Model Generation Using Branching Lemmas

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_15 ◽

2000 ◽

pp. 184-199 ◽

Cited By ~ 6

Author(s):

Ryuzo Hasegawa ◽

Hiroshi Fujita ◽

Miyuki Koshimura

Keyword(s):

Minimal Model ◽

Model Generation

Download Full-text

Minimal model generation

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/08 ◽

1991 ◽

pp. 85-92 ◽

Cited By ~ 9

Author(s):

A. Bouajjani ◽

J-C. Fernandez ◽

N. Halbwachs

Keyword(s):

Minimal Model ◽

Model Generation

Download Full-text

4 Minimal Model Generation

Lecture Notes in Computer Science - Model Generation for Natural Language Interpretation and Analysis ◽

10.1007/978-3-540-24640-4_4 ◽

2004 ◽

pp. 55-56

Author(s):

Karsten Konrad

Keyword(s):

Minimal Model ◽

Model Generation

Download Full-text

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming ◽

10.1007/978-3-319-66158-2_38 ◽

2017 ◽

pp. 596-614 ◽

Cited By ~ 2

Author(s):

Takehide Soh ◽

Mutsunori Banbara ◽

Naoyuki Tamura ◽

Daniel Le Berre

Keyword(s):

Discrete Optimization ◽

Minimal Model ◽

Optimization Problems ◽

Model Generation ◽

Discrete Optimization Problems

Download Full-text

Minimal model generation for refined answering of generalized queries in disjunctive deductive databases

Data & Knowledge Engineering ◽

10.1016/s0169-023x(00)00016-1 ◽

2000 ◽

Vol 34 (3) ◽

pp. 219-249 ◽

Cited By ~ 3

Author(s):

Adnan H. Yahya

Keyword(s):

Minimal Model ◽

Deductive Databases ◽

Model Generation ◽

Disjunctive Deductive Databases

Download Full-text