Search

Your search keyword '"Lisitsa, Alexei"' showing total 327 results

Search Constraints

Start Over You searched for: Author "Lisitsa, Alexei" Remove constraint Author: "Lisitsa, Alexei"
327 results on '"Lisitsa, Alexei"'

Search Results

301. On Herbrand’s Theorem for Intuitionistic Logic

302. Reasoning About Actions Using Description Logics with General TBoxes

303. Automatic Deductive Synthesis of Lisp Programs in the System ALISA

304. Whatever You Say

305. Introducing Attempt in a Modal Logic of Intentional Action

306. A Fault-Tolerant Default Logic

307. Answer Set Programming: A Declarative Approach to Solving Search Problems

308. Decidable Fragments of Logic Programming with Value Invention

309. Analytic Tableau Calculi for KLM Rational Logic R

310. A Modularity Approach for a Fragment of

311. On the Semantics of Logic Programs with Preferences

312. Model Representation over Finite and Infinite Signatures

313. Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies

314. Comparing Action Descriptions Based on Semantic Preferences

315. Modal Logics of Negotiation and Preference

316. Representing Action Domains with Numeric-Valued Fluents

317. From Inductive Logic Programming to Relational Data Mining

318. An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

319. Transforming Coroutining Logic Programs into Equivalent CHR Programs

320. Inconsistencies in Ontologies

321. Towards Trustworthy Refactoring in Erlang

322. Computer-Aided Proof of Erdos Discrepancy Properties

324. Enhancing the Auditability of the Agile XP Software Development Process in the Context of EU Medical Device Regulations

325. Online Network Intrusion Detection System Using Temporal Logic and Stream Data Processing

326. CryptDB Mechanism on Graph Databases

327. Predicting plant Rubisco kinetics from RbcL sequence data using machine learning.

Catalog

Books, media, physical & digital resources