Search results

Articles (4)

Journals (0)

1-4 of 4 results for first-order default logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published March, 2008

First-Order Ground Non-Monotonic Modal Logic

Benjamin Grimberg, Michael Kaminski

Fundamenta Informaticae

Available accessResearch articleFirst published July, 2000

First-order Non-monotonic Modal Logics

Michael Kaminski, Guy Rey

Fundamenta Informaticae

Available accessResearch articleFirst published November, 2002

Complexity of the Unique Extension Problem in Default Logic

Xishun Zhao, Paolo Liberatore

Fundamenta Informaticae

Retricted accessResearch articleFirst published April, 2016

Optimization of the component sizing for a plug-in hybrid electric vehicle using a genetic algorithm

Vahid Madanipour, Morteza Montazeri-Gh, Mehdi Mahmoodi-k

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Search results

Articles (4)

Journals (0)

1-4 of 4 results for first-order default logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published March, 2008

First-Order Ground Non-Monotonic Modal Logic

Benjamin Grimberg, Michael Kaminski

Fundamenta Informaticae

Available accessResearch articleFirst published July, 2000

First-order Non-monotonic Modal Logics

Michael Kaminski, Guy Rey

Fundamenta Informaticae

Available accessResearch articleFirst published November, 2002

Complexity of the Unique Extension Problem in Default Logic

Xishun Zhao, Paolo Liberatore

Fundamenta Informaticae

Retricted accessResearch articleFirst published April, 2016

Optimization of the component sizing for a plug-in hybrid electric vehicle using a genetic algorithm

Vahid Madanipour, Morteza Montazeri-Gh, Mehdi Mahmoodi-k

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering