Works matching DE "LOGIC programming"
Results: 1031
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 79, p. 725, doi. 10.1613/jair.1.15826
- By:
- Publication type:
- Article
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 683, doi. 10.1613/jair.1.13657
- By:
- Publication type:
- Article
On Dynamics in Structured Argumentation Formalisms.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 563, doi. 10.1613/jair.1.14481
- By:
- Publication type:
- Article
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.
- Published in:
- Journal of Artificial Intelligence Research, 2021, v. 70, p. 1, doi. 10.1613/jair.1.11348
- By:
- Publication type:
- Article
The Impact of Treewidth on Grounding and Solving of Answer Set Programs.
- Published in:
- Journal of Artificial Intelligence Research, 2020, v. 67, p. 35, doi. 10.1613/jair.1.11515
- By:
- Publication type:
- Article
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 749, doi. 10.1613/jair.1.11408
- By:
- Publication type:
- Article
Closure and Consistency In Logic-Associated Argumentation.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 79, doi. 10.1613/jair.4107
- By:
- Publication type:
- Article
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 42, p. 487
- By:
- Publication type:
- Article
First-Order Stable Model Semantics and First-Order Loop Formulas.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 42, p. 125
- By:
- Publication type:
- Article
Sound and Complete Inference Rules for SE-Consequence.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 205, doi. 10.1613/jair.2472
- By:
- Publication type:
- Article
On the Semantics of Logic Programs with Preferences.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 30, p. 501, doi. 10.1613/jair.2371
- By:
- Publication type:
- Article
The Planning Spectrum -- One, Two, Three, Infinity.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 30, p. 101, doi. 10.1613/jair.1909
- By:
- Publication type:
- Article
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 353, doi. 10.1613/jair.2171
- By:
- Publication type:
- Article
Discovering Classes of Strongly Equivalent Logic Programs.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 28, p. 431, doi. 10.1613/jair.2131
- By:
- Publication type:
- Article
Properties and Applications of Programs with Monotone and Convex Constraints.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 27, p. 299, doi. 10.1613/jair.2009
- By:
- Publication type:
- Article
Graduality in Argumentation.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 23, p. 245, doi. 10.1613/jair.1411
- By:
- Publication type:
- Article
pH Feedback Lifecycles Programmed by Enzymatic Logic Gates Using Common Foods as Fuels.
- Published in:
- Angewandte Chemie, 2021, v. 133, n. 20, p. 11499, doi. 10.1002/ange.202017003
- By:
- Publication type:
- Article
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.
- Published in:
- Minds & Machines, 2017, v. 27, n. 1, p. 37, doi. 10.1007/s11023-017-9428-3
- By:
- Publication type:
- Article
Automated legal reasoning with discretion to act using s(LAW).
- Published in:
- Artificial Intelligence & Law, 2024, v. 32, n. 4, p. 1141, doi. 10.1007/s10506-023-09376-5
- By:
- Publication type:
- Article
Logical English meets legal English for swaps and derivatives.
- Published in:
- Artificial Intelligence & Law, 2022, v. 30, n. 2, p. 163, doi. 10.1007/s10506-021-09295-3
- By:
- Publication type:
- Article
Resolving counterintuitive consequences in law using legal debugging.
- Published in:
- Artificial Intelligence & Law, 2021, v. 29, n. 4, p. 541, doi. 10.1007/s10506-021-09283-7
- By:
- Publication type:
- Article
I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies.
- Published in:
- Artificial Intelligence & Law, 2013, v. 21, n. 4, p. 371, doi. 10.1007/s10506-013-9143-1
- By:
- Publication type:
- Article
The modular logic of private international law.
- Published in:
- Artificial Intelligence & Law, 2011, v. 19, n. 2/3, p. 233, doi. 10.1007/s10506-011-9112-5
- By:
- Publication type:
- Article
Integrating induction and deduction for finding evidence of discrimination.
- Published in:
- Artificial Intelligence & Law, 2010, v. 18, n. 1, p. 1, doi. 10.1007/s10506-010-9089-5
- By:
- Publication type:
- Article
An Ontology-driven Architecture for Intelligent Tutoring Systems with an Application to Learning Object Recommendation.
- Published in:
- International Journal of Computer Information Systems & Industrial Management Applications, 2022, v. 14, p. 297
- By:
- Publication type:
- Article
Meta-Interpretive LEarning with Reuse.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 6, p. 916, doi. 10.3390/math12060916
- By:
- Publication type:
- Article
Logical Rule-Based Knowledge Graph Reasoning: A Comprehensive Survey.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 21, p. 4486, doi. 10.3390/math11214486
- By:
- Publication type:
- Article
Extending Fuzzy Linguistic Logic Programming with Negation †.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 17, p. 3105, doi. 10.3390/math10173105
- By:
- Publication type:
- Article
Introducing Artificial Intelligence to Secondary Schools Through STEM Learning and the Logic Programming Language Prolog.
- Published in:
- TEM Journal, 2024, v. 13, n. 4, p. 3221, doi. 10.18421/TEM134-56
- By:
- Publication type:
- Article
PENSAMENTO COMPUTACIONAL COM INSERÇÃO DE SCRATCH NUMA PERSPECTIVA MAKER.
- Published in:
- Intersaberes, 2021, v. 16, n. 37, p. 43, doi. 10.22169/revint.v16i37.1933
- By:
- Publication type:
- Article
Integration of G-Quadruplex and Pyrene as a Simple and Efficient Ratiometric Fluorescent Platform That Programmed by Contrary Logic Pair for Highly Sensitive and Selective Coralyne (COR) Detection.
- Published in:
- Biosensors (2079-6374), 2023, v. 13, n. 4, p. 489, doi. 10.3390/bios13040489
- By:
- Publication type:
- Article
Solving nesting problems with non-convex polygons by constraint logic programming.
- Published in:
- International Transactions in Operational Research, 2003, v. 10, n. 6, p. 651, doi. 10.1111/1475-3995.00434
- By:
- Publication type:
- Article
ANALYTIC TABLEAU, PROLOG, AND SYSTEMS OF NONLINEAR EQUATIONS.
- Published in:
- Mathematics & Computer Education, 2000, v. 34, n. 1, p. 53
- By:
- Publication type:
- Article
Plausible Description Logic Programs for Stream Reasoning.
- Published in:
- Future Internet, 2012, v. 4, n. 4, p. 865, doi. 10.3390/fi4040865
- By:
- Publication type:
- Article
Software Reverse Engineering as a Sensemaking Task.
- Published in:
- Journal of Information Assurance & Security, 2011, v. 6, n. 6, p. 483
- By:
- Publication type:
- Article
PROLOG-CC: Um Sistema Pericial Difuso Aplicado à Ciência do Solo.
- Published in:
- Revista de Ciências da Computação, 2010, n. 5, p. 20
- By:
- Publication type:
- Article
Formal ESL Synthesis for Control-Intensive Applications.
- Published in:
- Advances in Software Engineering, 2012, p. 1, doi. 10.1155/2012/156907
- By:
- Publication type:
- Article
From the Editor.
- Published in:
- INFORMS Journal on Computing, 2006, v. 18, n. 1, p. 1, doi. 10.1287/ijoc.18.1.1
- By:
- Publication type:
- Article
A MINSAT Approach for Learning in Logic Domains.
- Published in:
- INFORMS Journal on Computing, 2002, v. 14, n. 1, p. 20, doi. 10.1287/ijoc.14.1.20.7709
- By:
- Publication type:
- Article
Weight prioritized slicing based on constraint logic programming for fault localization.
- Published in:
- PLoS ONE, 2020, v. 15, n. 4, p. 1, doi. 10.1371/journal.pone.0231331
- By:
- Publication type:
- Article
The Development of Baselog System and Some Applications.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 4, p. 390
- By:
- Publication type:
- Article
Incremental Linear Constraint Solving and Detection of Implicit Equalities.
- Published in:
- ORSA Journal on Computing, 1991, v. 3, n. 4, p. 269, doi. 10.1287/ijoc.3.4.269
- By:
- Publication type:
- Article
Constraint Satisfaction in Logic Programming (Book Review).
- Published in:
- 1991
- By:
- Publication type:
- Book Review
A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models.
- Published in:
- BMC Bioinformatics, 2011, v. 12, n. 1, p. 83, doi. 10.1186/1471-2105-12-83
- By:
- Publication type:
- Article
Constraint Logic Programming approach to protein structure prediction.
- Published in:
- BMC Bioinformatics, 2004, v. 5, p. 186, doi. 10.1186/1471-2105-5-186
- By:
- Publication type:
- Article
Extremismusprävention im Spannungsfeld von Sicherheit und Safeguarding Eine Diskussion des britischen Prevent-Programms.
- Published in:
- Kriminologisches Journal, 2021, v. 53, n. 4, p. 275, doi. 10.3262/kj2104275
- By:
- Publication type:
- Article
Benefits of Using the Metaverse Environment and Virtual Reality in Simulating the Evacuation of People from Buildings.
- Published in:
- Safety & Fire Technology (2657-8808), 2024, v. 63, n. 1, p. 6, doi. 10.12845/sft.63.1.2024.1
- By:
- Publication type:
- Article
Optimal representation to High Order Random Boolean kSatisability via Election Algorithm as Heuristic Search Approach in Hopeld Neural Networks.
- Published in:
- Journal of Nigerian Society of Physical Sciences, 2021, v. 3, n. 3, p. 201, doi. 10.46481/jnsps.2021.217
- By:
- Publication type:
- Article
Parallelizing Random and SAT-based Verification Processes for Improving Toggle Coverage.
- Published in:
- IPSJ Transactions on System LSI Design Methodology, 2023, v. 16, n. 1, p. 45, doi. 10.2197/ipsjtsldm.16.45
- By:
- Publication type:
- Article
Simulacija in izboljšava prometnih tokov: primer na dveh izbranih slovenskih križiščih.
- Published in:
- Uporabna Informatika, 2022, v. 33, n. 5, p. 151
- By:
- Publication type:
- Article