Search results
From MaRDI portal
- Paper https://portal.mardi4nfdi.de/entity/Q3101112 2011-11-22 Paper Procedural semantics for hyperintensional logic. Foundations and applications of transparent...10 bytes (13 words) - 05:35, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5199098 2011-08-11 Paper Procedural semantics for hyperintensional logic. Foundations and applications of transparent...10 bytes (14 words) - 09:14, 12 December 2023
- inference and the non-triviality of analytic information 2010-11-03 Paper Procedural semantics for hyperintensional logic. Foundations and applications of transparent...10 bytes (13 words) - 04:12, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q4013548 1992-09-27 Paper Short note: procedural semantics and negative information of elementary formal system 1992-08-13 Paper...10 bytes (13 words) - 17:05, 6 October 2023
- mardi4nfdi.de/entity/Q4542091 2002-08-01 Paper The explanative and procedural semantics of FLL 2001-06-25 Paper Tracking characteristics of the constrained...10 bytes (13 words) - 10:09, 24 September 2023
- Loop checking and the well-founded semantics 2022-08-30 Paper Two simple characterizations of well-founded semantics 2022-08-18 Paper Strong and explicit...10 bytes (15 words) - 13:53, 8 December 2023
- mardi4nfdi.de/entity/Q4542091 2002-08-01 Paper The explanative and procedural semantics of FLL 2001-06-25 Paper https://portal.mardi4nfdi.de/entity/Q4254803...10 bytes (13 words) - 10:58, 6 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4002950 1992-09-18 Paper A procedural semantics for well-founded negation in logic programs 1992-08-13 Paper Inferring...10 bytes (16 words) - 22:06, 24 September 2023
- Paper Constructive negation under the well-founded semantics 2000-05-28 Paper A procedural semantics for stratified database updates 1998-01-21 Paper...10 bytes (16 words) - 10:22, 24 September 2023
- multimodal function optimization 2002-01-02 Paper The explanative and procedural semantics of FLL 2001-06-25 Paper...10 bytes (13 words) - 10:58, 6 October 2023
- Paper Constructive negation under the well-founded semantics 2000-05-28 Paper A procedural semantics for stratified database updates 1998-01-21 Paper Tabled...10 bytes (13 words) - 03:10, 25 September 2023
- relations using multimethods 1998-03-17 Paper On the declarative and procedural semantics of definite metalogic programs 1996-07-28 Paper...10 bytes (15 words) - 11:26, 14 March 2024
- answering in resource-based answer set semantics 2017-11-09 Paper Negation as a Resource: a Novel View on Answer Set Semantics* 2016-08-15 Paper Elio Lanzarone:...10 bytes (15 words) - 11:24, 24 September 2023
- propagation as information maximization 2013-08-23 Paper Compositional Semantics for the Procedural Interpretation of Logic 2008-03-11 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 13:27, 11 December 2023
- and dealing with incompatibilities among procedural goals 2019-02-20 Paper Range-based argumentation semantics as two-valued models 2017-11-09 Paper Ideal...10 bytes (15 words) - 03:15, 13 December 2023
- feasible functionals and the interpretation method 2024-10-30 Paper Cost-size semantics for call-by-value higher-order rewriting 2024-10-21 Paper Cutting a proof...10 bytes (13 words) - 03:02, 7 October 2023
- 2021-06-03 Paper Explanation Semantics for Abstract Argumentation 2021-01-21 Paper A Principle-Based Analysis of Weakly Admissible Semantics 2021-01-21 Paper Designing...10 bytes (21 words) - 20:22, 24 September 2023
- Inter-procedural Two-Variable Herbrand Equalities 2017-05-16 Paper Reachability for Dynamic Parametric Processes 2017-02-21 Paper Inter-procedural Two-Variable...10 bytes (13 words) - 22:29, 11 December 2023
- Reversible Term Rewriting 2017-10-17 Paper A reversible semantics for Erlang 2017-10-13 Paper Verifying Procedural Programs via Constrained Rewriting Induction 2017-07-13...10 bytes (13 words) - 09:46, 24 September 2023
- checking soundness of Data Petri nets 2024-03-20 Paper On occurrence net semantics for petri nets with contacts 2022-12-09 Paper Resource Bisimilarity in...10 bytes (16 words) - 13:59, 8 December 2023
