Keywords: برنامه ریزی منطقی; Logic Programming; Concurrent Logic Programming; Constraint-Based Concurrency; Fifth Generation Computer Systems project;
مقالات ISI برنامه ریزی منطقی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: برنامه ریزی منطقی; Approximation fixpoint theory; Lattice operator; Inductive definitions; Induction process; Construction; Well-founded semantics; Groundedness; Logic programming; Autoepistemic logic; Abstract argumentation;
Keywords: برنامه ریزی منطقی; Qualitative spatial reasoning; Qualitative shape descriptor; Shape composition; Angle composition; Length composition; Logic; Tangram; Puzzle; Spatial cognition; Spatial reasoning tests; Prolog; Logic programming;
Keywords: برنامه ریزی منطقی; Abstract interpretation; Run-time checking; Verification; Logic programming; Horn clauses;
Keywords: برنامه ریزی منطقی; Logic programming; Coalgebra; Coinductive derivation tree; Lawvere theories; Lax transformations; Saturation;
Keywords: برنامه ریزی منطقی; Probabilistic logic programming; Bayesian inference; Bayesian networks; Classification and regression trees; Knowledge representation; Logic programming;
Keywords: برنامه ریزی منطقی; Description logics; Logic programming; Semantics; Rule-based systems; Formal translations;
Keywords: برنامه ریزی منطقی; Causal action theories; Action languages; Logic programming;
Keywords: برنامه ریزی منطقی; Institution; Logic programming; Herbrand's theorem; Initiality;
Keywords: برنامه ریزی منطقی; Planning; Domain modeling; Logic programming; Tabling;
Keywords: برنامه ریزی منطقی; Logic programming; Stable model; Progression; First-order;
Keywords: برنامه ریزی منطقی; Thrombophilia; Venous thromboembolism; Logic programming; Knowledge representation and reasoning; Case-based reasoning; Similarity analysis;
Keywords: برنامه ریزی منطقی; R statistical computing; Logic programming; Visualisation; Machine learning; Graph drawing; bioinformatics;
Keywords: برنامه ریزی منطقی; Argumentation; Structured argumentation; Logic programming; Non-monotonic reasoning; Knowledge representation; Attack and support for inferences
Keywords: برنامه ریزی منطقی; Social networks; Diffusion model; Logic programming; Quantitative logic;
Keywords: برنامه ریزی منطقی; Logic programming; Attribute implications; Functional dependencies; Ordinal scales; Residuated lattices; Least model property
Keywords: برنامه ریزی منطقی; Approximation fixpoint theory; Lattice operator; Stable semantics; Well-founded semantics; Groundedness; Logic programming; Autoepistemic logic; Abstract argumentation; Abstract dialectical frameworks
Keywords: برنامه ریزی منطقی; Argumentation; Logic programming; Well-founded semantics; Argumentation tools; Stable model semantics; Answer set programming
Keywords: برنامه ریزی منطقی; Knowledge representation and reasoning; Answer Set Programming; Aggregates; First-order logic; Logic programming
Keywords: برنامه ریزی منطقی; History queries; Meta-programming; Smalltalk; Logic programming; Program analysis
Keywords: برنامه ریزی منطقی; Security measurement; Vulnerability profile; Attack surface; Access control; Operating system; Logic programming
Keywords: برنامه ریزی منطقی; Logic programming; Non-monotonic reasoning; Possibility theory; Uncertainty; Stable model semantics
Keywords: برنامه ریزی منطقی; Partial evaluation; Termination analysis; Logic programming
Keywords: برنامه ریزی منطقی; General Chemistry; Higher Education; Logic Programming; Knowledge Representation and Reasoning; Artificial Neural Networks
Keywords: برنامه ریزی منطقی; Scientific workflows; Weakly-structured processes; Multi-agent systems; Logic programming; Semantic Web
AdSiF: Agent driven simulation framework paradigm and ontological view
Keywords: برنامه ریزی منطقی; Agent-driven simulation; Agent Programming; Logic programming; Ontology; State-oriented programming;
Design and implementation of Intelligent transplanting system based on photoelectric sensor and PLC
Keywords: برنامه ریزی منطقی; Intelligent agricultural; Transplanting system; Automatic recognition; PLC control; Logic programming;
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models
Keywords: برنامه ریزی منطقی; Weak memory models; Constraint solving; Logic programming; Constraint Handling Rules;
JPC: A library for categorising and applying inter-language conversions between Java and Prolog
Keywords: برنامه ریزی منطقی; Object-oriented programming; Logic programming; Multi-paradigm programming; Java-Prolog language interoperability; Programming languages;
Taxo-Semantics: Assessing similarity between multi-word expressions for extending e-catalogs
Keywords: برنامه ریزی منطقی; Concept similarity; Electronic commerce; Electronic catalog; Logic programming;
PTL: A model transformation language based on logic programming
Keywords: برنامه ریزی منطقی; Logic programming; Model transformation; Software engineering; Model driven engineering; Domain specific languages
TaxoPublish: Towards a solution to automatically personalize taxonomies in e-catalogs
Keywords: برنامه ریزی منطقی; Taxonomy overload; Electronic catalog; Logic programming; Personalized directory; Electronic commerce; Product information management;
A framework for computing finite SLD trees
Keywords: برنامه ریزی منطقی; Logic programming; Semantics; Program analysis
Regular corecursion in Prolog
Keywords: برنامه ریزی منطقی; Logic programming; Coinduction and corecursion;
A hybrid reasoning mechanism for effective sensor selection for tasks
Keywords: برنامه ریزی منطقی; Logic Programming; Semantic web; Knowledge-based resource selection
Bilattices for deductions in multi-valued logic
Keywords: برنامه ریزی منطقی; Multi-valued logic; Approximate reasoning; Bilattice; Fuzzy logic; Heap paradox; Logic programming; Fuzzy control
A game semantics for disjunctive logic programming
Keywords: برنامه ریزی منطقی; 03B70; 68N17; 68Q55; 91A40; Logic programming; Disjunctive logic programming; Game semantics; Logic programming semantics;
Approximating operators and semantics for abstract dialectical frameworks
Keywords: برنامه ریزی منطقی; Abstract dialectical frameworks; Abstract argumentation frameworks; Logic programming; Fixpoint semantics; Approximations; Nonmonotonic reasoning
Optimal mining on security labels for decentralized information flow control
Keywords: برنامه ریزی منطقی; Access control; Policy description language; Constraint solving; NP-complete; Data mining; Logic programming; Genetic algorithm
Maintaining distributed logic programs incrementally
Keywords: برنامه ریزی منطقی; Declarative Networking; Correctness; Logic Programming; Distributed Datalog
Generating sample looks for geometric objects in a visual design language
Keywords: برنامه ریزی منطقی; Design language; Logic programming; Computer-aided design; Solid modelling; Sample look; Design space
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Keywords: برنامه ریزی منطقی; Description logics; Logic programming; Uncertainty; Semantic Web; Horn rules
SWAM: A logic-based mobile agent programming language for the Semantic Web
Keywords: برنامه ریزی منطقی; Semantic Web; Ontologies; Web services; Mobile agents; Logic programming
Logic based methods for SNPs tagging and reconstruction
Keywords: برنامه ریزی منطقی; Tag SNPs selection; Feature selection; Set covering heuristics; Logic programming
Reasoning support for flexible task resourcing
Keywords: برنامه ریزی منطقی; Knowledge representation; Semantic Web; Ontological reasoning; Logic Programming; Multi-agent systems
Using ASP for knowledge management with user authorization
Keywords: برنامه ریزی منطقی; Authorization; Knowledge base; Logic programming; Answer set programming; Correctness
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling
Keywords: برنامه ریزی منطقی; Logic programming; Answer set programming; Parallelism; Scheduling
Nonmonotonic abductive inductive learning
Keywords: برنامه ریزی منطقی; Abduction; Induction; Logic programming; Nonmonotonic reasoning
Dynamic reordering of alternatives for definite logic programs
Keywords: برنامه ریزی منطقی; Logic programming; Tabled resolution; SLD resolution; Fixed point; DRA resolution
Lightweight query-based analysis of workflow process dependencies
Keywords: برنامه ریزی منطقی; Software process; Workflows; Software change; Dependency analysis; Logic programming; Software maintenance