Computing Answer Sets Using Model Generation Theorem Provers

Date

2007-09-13

Author

Sabuncu, Orkunt
Alpaslan, Ferda Nur

Metadata

Show full item record

Item Usage Stats

65
views

0
downloads

Model generation theorem provers have the capability of producing a model when the first-order input theory is satisfiable. Because grounding step may generate huge propositional instances of the program it hardens the search process of answer set solvers. We propose the use of model generation theorem provers as computational engines for Answer Set Programming (ASP). It can be seen as lifting of SAT-based ASP to the first-order level for tight programs to eliminate the grounding step of ASP or do it more intelligently.

URI

https://hdl.handle.net/11511/78674
https://user.ceng.metu.edu.tr/~orkunt/completor/mgtp_asp.pdf

Conference Name

4th International Workshop on Answer Set Programming, 2007

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

ON GENERALIZED LOCAL SYMMETRIES OF THE SO(2,1) INVARIANT NONLINEAR SIGMA-MODEL BASKAL, S; ERIS, A; SATIR, A (1994-12-19) The symmetries and associated conservation laws of the SO(2,1) invariant non-linear sigma model equations in 1+1 dimensions are investigated. An infinite family of generalized local symmetries is presented and the uniqueness of these solutions is discussed.
Simulation of inelastic cyclic buckling behavior of steel box sections Dicleli, Murat (Elsevier BV, 2007-4) In this study, a nonlinear structural model is developed to simulate the cyclic axial force-deformation behavior of steel braces including their buckling behavior using the commercially available nonlinear finite element based software ADINA. The nonlinear cyclic axial force-deformation simulation is done for braces with box sections. However, the structural model and simulation techniques described in this study may be applicable to braces with various section types using other commercially available struc...
Transformation Electromagnetics Based Analysis of Waveguides With Random Rough or Periodic Grooved Surfaces Ozgun, Ozlem; Kuzuoğlu, Mustafa (Institute of Electrical and Electronics Engineers (IEEE), 2013-02-01) A computational model is introduced which employs transformation-based media to increase the computational performance of finite methods (such as finite element or finite difference methods) for analyzing waveguides with grooves or rough surfaces. Random behavior of the roughness is taken into account by utilizing the Monte Carlo technique, which is based on a set of random rough surfaces generated from Gaussian distribution. The main objective of the proposed approach is to create a single mesh, and to ana...
Monte Carlo analysis of ridged waveguides with transformation media Ozgun, Ozlem; Kuzuoğlu, Mustafa (Wiley, 2013-07-01) A computational model is presented for Monte Carlo simulation of waveguides with ridges, by combining the principles of transformation electromagnetics and the finite methods (such as finite element or finite difference methods). The principle idea is to place a transformation medium around the ridge structure, so that a single and easy-to-generate mesh can be used for each realization of the Monte Carlo simulation. Hence, this approach leads to less computational resources. The technique is validated by me...
Higher order approximate dynamic models for layered composites Yalcin, Omer Fatih; Mengi, Yalcin; Turhan, Dogan (Elsevier BV, 2007-05-01) Based on a higher order dynamic approximate theory developed in the present study for anisotropic elastic plates, two dynamic models, discrete and continuum models (DM and CM), are proposed for layered composites. Of the two models, CM is more important, which is established in the study of periodic layered composites using smoothing operations. CM has the properties: it contains inherently the interface and Floquet conditions and facilitates the analysis of the. composite, in particular, when the number of...

Citation Formats

O. Sabuncu and F. N. Alpaslan, “Computing Answer Sets Using Model Generation Theorem Provers,” presented at the 4th International Workshop on Answer Set Programming, 2007, 2007, Accessed: 00, 2021. [Online]. Available: https://hdl.handle.net/11511/78674.