Results 11 to 20 of about 1,229,738 (330)
Is There a Procedural Logic to Architecture? [PDF]
2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013 Urban models are key to navigation, architecture and entertainment. Apart from visualizing facades, a number of tedious tasks remain largely manual (e.g. compression, generating new facade designs and structurally comparing facades for classification, retrieval and clustering).
Weissenberg, Julien +3 more
openaire +3 more sources
Executable First-Order Queries in the Logic of Information Flows [PDF]
Logical Methods in Computer Science, 2022 The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer +4 more
doaj +3 more sources
Representing Procedural Logic in XML
Journal of Software, 2008 Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how using XML in an unconventional way greatly improves the usability and effectiveness of an authoring system for generating computer-assisted interviewing (CAI) applications.
A. Bethke
openaire +2 more sources
Probabilistic Logic Programming Semantics For Procedural Content Generation
Artificial Intelligence and Interactive Digital Entertainment Conference, 2023 Research in procedural content generation (PCG) has recently heralded two major methodologies: machine learning (PCGML) and declarative programming. The former shows promise by automating the specification of quality criteria through latent patterns in ...
Abdelrahman Madkour +4 more
semanticscholar +1 more source
Bridging Declarative, Procedural, and Conditional Metacognitive Knowledge Gap Using Deep Reinforcement Learning [PDF]
Annual Meeting of the Cognitive Science Society, 2023 In deductive domains, three metacognitive knowledge types in ascending order are declarative, procedural, and conditional learning. This work leverages Deep Reinforcement Learning (DRL) in providing adaptive metacognitive interventions to bridge the gap ...
Mark Abdelshiheed +3 more
semanticscholar +1 more source
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper) [PDF]
PAAR@IJCAR, 2022 The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing number of different non-classical logics as reasoning targets.
A. Steen
semanticscholar +1 more source
Temporal Inductive Logic Reasoning over Hypergraphs [PDF]
International Joint Conference on Artificial Intelligence, 2022 Inductive logic reasoning is a fundamental task in graph analysis, which aims to generalize patterns from data. This task has been extensively studied for traditional graph representations, such as knowledge graphs (KGs), using techniques like inductive ...
Yuan Yang +4 more
semanticscholar +1 more source
Making sense of step-by-step procedures [PDF]
, 2000 Procedural instructions that consist of only a sequence of steps will probably be executable, but nevertheless ¿meaningless¿ to users of technical devices.
Karreman, Joyce +2 more
core +7 more sources
Procedural Semantics and its Relevance to Paradox
Logic and Logical Philosophy, 2023 Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its ...
E. Booij
semanticscholar +1 more source
Fuzzy Linguistic Logic Programming and its Applications [PDF]
, 2009 The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtas, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural ...
Le, Van Hung, Liu, Fei, Tran, Dinh Khang
core +1 more source