Found 411 Documents (Results 1–100)
Self-adaptive ability optimization of fuzzy Petri net utilizing modified particle swarm optimization algorithm. (English) Zbl 1543.68362
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. (English) Zbl 07875640
MSC:
68Txx
Oblivious transfer from zero-knowledge proofs. Or how to achieve round-optimal quantum oblivious transfer and zero-knowledge proofs on quantum states. (English) Zbl 1542.94118
Guo, Jian (ed.) et al., Advances in cryptology – ASIACRYPT 2023. 29th international conference on the theory and application of cryptology and information security, Guangzhou, China, December 4–8, 2023. Proceedings. Part VIII. Singapore: Springer. Lect. Notes Comput. Sci. 14445, 3-38 (2023).
Tableaux for the logic of strategically knowing how. (English) Zbl 1541.03060
Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 379-391 (2023).
A nature-inspired meta-heuristic knowledge-based algorithm for solving multiobjective optimization problems. (English) Zbl 1539.90109
Arithmetic sketching. (English) Zbl 1531.94091
Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14081, 171-202 (2023).
Granularity and rational approximation: rethinking graded rough sets. (English) Zbl 1540.68243
Peters, James F. (ed.) et al., Transactions on Rough Sets XXIII. Berlin: Springer. Lect. Notes Comput. Sci. 13610, 33-59 (2023).
Autonomous mobile robot global path planning: a prior information-based particle swarm optimization approach. (English) Zbl 1530.93332
A distribution-knowledge-guided assessment strategy for multiobjective particle swarm optimization. (English) Zbl 1529.90086
MSC:
90C59
Deciding FO-rewritability of regular languages and ontology-mediated queries in linear temporal logic. (English) Zbl 1543.68141
Dynamical non-compensatory multidimensional IRT model using variational approximation. (English) Zbl 1517.62097
MSC:
62P15
Local knowledge distance for rough approximation measure in multi-granularity spaces. (English) Zbl 1534.68234
MSC:
68T37
Alternating fixpoint operator for hybrid MKNF knowledge bases as an approximator of AFT. (English) Zbl 1530.68253
Advanced tools and methods for treewidth-based problem solving. (English) Zbl 1522.68006
Frontiers in Artificial Intelligence and Applications 359. Amsterdam: IOS Press (ISBN 978-1-64368-344-7/pbk; 978-1-64368-345-4/ebook). xxiii, 226 p. (2022).
Query answering over inconsistent knowledge bases: a probabilistic approach. (English) Zbl 1540.68068
Analyzing semantics of aggregate answer set programming using approximation fixpoint theory. (English) Zbl 1541.68078
Approximation, characterization, and continuity of multivariate monotonic regression functions. (English) Zbl 07544532
Relationships between two pairs of covering approximation operators and belief structures. (English) Zbl 1499.68339
Triadic concept approximation. (English) Zbl 1528.68368
MSC:
68T30
Topological approach for decision-making of COVID-19 infection via a nano-topology model. (English) Zbl 1487.54078
RP-LGMC: rating prediction based on local and global information with matrix clustering. (English) Zbl 1510.68110
Approximate knowledge graph query answering: from ranking to binary classification. (English) Zbl 1467.68049
Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 107-124 (2021).
Bat algorithm with applications to signal, speech, and image processing – a review. (English) Zbl 1459.94042
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021).
Physical zero-knowledge proof for Suguru puzzle. (English) Zbl 1517.68139
Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 235-247 (2020).
Functional extensions of knowledge representation in general rough sets. (English) Zbl 1509.68259
Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 19-34 (2020).
Some NP-complete problems for attribute reduction in consistent decision tables. (English) Zbl 1507.68123
Rough approximation in multi-scale formal context. (Chinese. English summary) Zbl 1463.68080
Optimal learning with local nonlinear parametric models over continuous designs. (English) Zbl 1445.62207
A multi-agent platform to support knowledge based modelling in engineering design. (English) Zbl 1436.90170
Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 245-263 (2020).
MSC:
90C59
Approximations induced by tolerance relations. (English) Zbl 1527.68223
Mihálydeák, Tamás (ed.) et al., Rough sets. International joint conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11499, 265-279 (2019).
Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms. (English) Zbl 1443.68178
Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 286-300 (2019).
The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\). (English) Zbl 1435.68309
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 167-184 (2019).
A quantum-inspired classical algorithm for recommendation systems. (English) Zbl 1433.68436
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 217-228 (2019).
Certain information granule system as a result of sets approximation by fuzzy context. (English) Zbl 1460.68107
Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence. (English) Zbl 1478.68352
What makes a VRP solution good? The generation of problem-specific knowledge for heuristics. (English) Zbl 1458.90642
Derived heuristics-based consistent optimization of material flow in a gold processing plant. (English) Zbl 1523.90324
Complexity of DeLP: current status and moving forward. (English) Zbl 1440.68262
Chesñevar, Carlos I. (ed.) et al., Argumentation-based proofs of endearment. Essays in honor of Guillermo R. Simari on the occasion of his 70th birthday. London: College Publications. Tributes 37, 123-144 (2018).
Complexity of dynamic epistemic logic with common knowledge. (English) Zbl 1418.03045
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 103-122 (2018).
Efficient approximation for counting of formal concepts generated from formal context. (English) Zbl 1425.68400
Analysis and comparison of Bayesian methods for measurement uncertainty evaluation. (English) Zbl 1427.90301
Optimal learning for nonlinear parametric belief models over multidimensional continuous spaces. (English) Zbl 1404.62023
Efficient designated-verifier non-interactive zero-knowledge proofs of knowledge. (English) Zbl 1415.94415
Nielsen, Jesper Buus (ed.) et al., Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10822, 193-221 (2018).
Overdrive: making SPDZ great again. (English) Zbl 1415.94446
Nielsen, Jesper Buus (ed.) et al., Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10822, 158-189 (2018).
Topological properties of a pair of relation-based approximation operators. (English) Zbl 1499.54027
Exact model counting of query expressions. Limitations of propositional methods. (English) Zbl 1474.68076
Quantified coalition logic of knowledge, belief and certainty. (English) Zbl 1454.68139
Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 351-360 (2017).
A multi-objective artificial bee colony based on evolutionary knowledge integrated. (Chinese. English summary) Zbl 1399.68216
Triadic concept analysis based on rough set theory. (Chinese. English summary) Zbl 1399.68243
Advances in fruit fly optimization algorithms. (Chinese. English summary) Zbl 1399.68221
The journey from NP to TFNP hardness. (English) Zbl 1402.68067
Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 60, 21 p. (2017).
A lower bound on CNF encodings of the at-most-one constraint. (English) Zbl 1417.68198
Gaspers, Serge (ed.) et al., Theory and applications of satisfiability testing – SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10491, 412-428 (2017).
Delayed-input cryptographic protocols. (English) Zbl 1489.94109
Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 112-115 (2017).
In-database feature selection using rough set theory. (English) Zbl 1455.68048
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 393-407 (2016).
Balise arrangement optimization for train station parking via expert knowledge and genetic algorithm. (English) Zbl 1471.90178
Information-based evaluation of approximation methods in Dempster-Shafer theory. (Information-based evaluation of approximation methods in Demspster-Shafer theory.) (English) Zbl 1377.68245
Sequent calculus for intuitionistic epistemic logic IEL. (English) Zbl 1476.03014
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 187-201 (2016).
Integration of expert knowledge into radial basis function surrogate models. (English) Zbl 1364.90242
Filter Results by …
Document Type
- Journal Articles (285)
- Collection Articles (120)
- Books (6)
all
top 5
Author
- Skowron, Andrzej (11)
- Baader, Franz (9)
- Borgwardt, Stefan (8)
- Morawska, Barbara (8)
- Pagliani, Piero (7)
- Schwarzentruber, François (7)
- Kuznetsov, Sergei O. (6)
- Zakharyaschev, Michael Viktorovich (6)
- Zhang, Wenxiu (6)
- Zhu, William (6)
- Bogaerts, Bart (5)
- Denecker, Marc (5)
- Stepaniuk, Jarosław (5)
- Cattaneo, Gianpiero (4)
- Gomolińska, Anna (4)
- Maubert, Bastien (4)
- Peters, James Francis III (4)
- Sahai, Amit (4)
- Vadhan, Salil P. (4)
- Wolski, Marcin (4)
- Wu, Weizhi (4)
- Barak, Boaz (3)
- Gégény, Dávid (3)
- Goldreich, Oded (3)
- Herzig, Andreas (3)
- Ishai, Yuval (3)
- Kontchakov, Roman (3)
- Li, Changqing (3)
- Li, Jinjin (3)
- Makino, Kazuhisa (3)
- Obiedkov, Sergei A. (3)
- Radeleczki, Sándor (3)
- Ryzhikov, Vladislav (3)
- Shao, Mingwen (3)
- Yao, Yiyu (3)
- Zhang, Yanlan (3)
- Alechina, Natasha (2)
- Aucher, Guillaume (2)
- Babin, Mikhail A. (2)
- Bělohlávek, Radim (2)
- Binh, Nguyen Thanh (2)
- Bitansky, Nir (2)
- Bouland, Adam (2)
- Cadoli, Marco (2)
- Charrier, Tristan (2)
- Dagum, Paul (2)
- Deb, Kalyanmoy (2)
- Diker, Murat (2)
- Donini, Francesco M. (2)
- Eiter, Thomas (2)
- Greiner, Russell (2)
- Guo, Yinan (2)
- He, Xinyu (2)
- Ibaraki, Toshihide (2)
- Jiroušek, Radim (2)
- Jun, Young Bae (2)
- Kikot, Stanislav (2)
- Kozae, Abdul M. (2)
- Krupskiĭ, Vladimir Nikolaevich (2)
- Kučera, Petr (2)
- Kuipers, Theo A. F. (2)
- Kushilevitz, Eyal (2)
- Kuznets, Roman (2)
- Lafourcade, Pascal (2)
- Langholm, Tore (2)
- Li, Fei (2)
- Lian, Espen H. (2)
- Liberatore, Paolo (2)
- Lindell, Yehuda (2)
- Liu, Guilong (2)
- Liu, Min (2)
- Liu, Xiaodong (2)
- Lutz, Carsten (2)
- Maffre, Faustine (2)
- Marquis, Pierre (2)
- Miyahara, Daiki (2)
- Mizuki, Takaaki (2)
- Moshkov, Mikhail Ju. (2)
- Nakamura, Akira (2)
- Nguyen, Tuan Trung (2)
- Ono, Hirotaka (2)
- Ostrovsky, Rafail (2)
- Pass, Rafael (2)
- Pawlak, Zdzisław (2)
- Pendharkar, Parag C. (2)
- Petrank, Erez (2)
- Piliszczuk, Marcin (2)
- Pinchinat, Sophie (2)
- Podol’skiĭ, Vladimir Vladimirovich (2)
- Powell, Warren Buckler (2)
- Rabani, Yuval (2)
- Robert, Léo (2)
- Savický, Petr (2)
- Synak, Piotr (2)
- Tan, Anhui (2)
- Trnecka, Martin (2)
- Truszczyński, Mirosław (2)
- Tseng, Wei-Lung Dustin (2)
- Uğur, Ayşegül Altay (2)
- van Ditmarsch, Hans Pieter (2)
- and 668 more Authors
all
top 5
Serial
- Inf. Sci. (26)
- Artif. Intell. (22)
- Fundam. Inform. (20)
- Int. J. Approx. Reasoning (14)
- J. Log. Comput. (8)
- Eur. J. Oper. Res. (7)
- Fuzzy Sets Syst. (6)
- SIAM J. Comput. (5)
- Theor. Comput. Sci. (5)
- Inf. Comput. (5)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (5)
- ACM Trans. Comput. Log. (5)
- J. Artif. Intell. Res. (JAIR) (4)
- Synthese (3)
- Comput. Oper. Res. (3)
- J. Appl. Non-Class. Log. (3)
- Filomat (3)
- Ann. Math. Artif. Intell. (3)
- Log. J. IGPL (3)
- Control Theory Appl. (3)
- J. Intell. Fuzzy Syst. (3)
- Comput. Math. Appl. (2)
- Discrete Appl. Math. (2)
- Int. J. Gen. Syst. (2)
- Inf. Process. Lett. (2)
- J. Comput. Syst. Sci. (2)
- Nav. Res. Logist. (2)
- Stud. Log. (2)
- Cybern. Syst. (2)
- Combinatorica (2)
- J. Autom. Reasoning (2)
- Mach. Learn. (2)
- SIAM J. Sci. Comput. (2)
- J. Fuzzy Math. (2)
- Comput. Appl. Math. (2)
- Soft Comput. (2)
- J. ACM (2)
- Int. J. Appl. Math. Comput. Sci. (2)
- Bul. Inst. Politeh. Iași, Secția Autom. Calc. (2)
- Theory Pract. Log. Program. (2)
- J. Mach. Learn. Res. (2)
- J. Shandong Univ., Nat. Sci. (2)
- Control Decis. (2)
- Fuzzy Syst. Math. (2)
- Acta Inf. (1)
- Int. J. Syst. Sci. (1)
- J. Eng. Math. (1)
- Psychometrika (1)
- ACM Trans. Database Syst. (1)
- Technol. Rep. Kansai Univ. (1)
- Appl. Math. Comput. (1)
- Demonstr. Math. (1)
- J. Comput. Appl. Math. (1)
- J. Oper. Res. Soc. (1)
- Kybernetika (1)
- Networks (1)
- Notre Dame J. Formal Logic (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Rev. Colomb. Mat. (1)
- J. Nanjing Univ., Nat. Sci. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- J. Lanzhou Univ., Nat. Sci. (1)
- Acta Sci. Nat. Univ. Sunyatseni (1)
- Ann. Pure Appl. Logic (1)
- J. Beijing Norm. Univ., Nat. Sci. (1)
- New Generation Comput. (1)
- J. Northwest Univ., Nat. Sci. Ed. (1)
- COMPEL (1)
- J. Cryptology (1)
- J. Tsinghua Univ., Sci. Technol. (1)
- Int. J. Found. Comput. Sci. (1)
- J. Glob. Optim. (1)
- Visn. L’viv. Univ., Ser. Mekh.-Mat. (1)
- Comput. Math. Math. Phys. (1)
- Appl. Math. Modelling (1)
- IEEE Trans. Syst. Man Cybern. (1)
- IEEE Trans. Pattern Anal. Mach. Intell. (1)
- Pattern Recognit. Lett. (1)
- Distrib. Comput. (1)
- Found. Comput. Decis. Sci. (1)
- SIAM J. Optim. (1)
- J. Logic Lang. Inf. (1)
- Appl. Math., Ser. A (Chin. Ed.) (1)
- Congr. Numerantium (1)
- J. Egypt. Math. Soc. (1)
- Rev. Invest. Oper. (1)
- Math. Probl. Eng. (1)
- Mult.-Valued Log. (1)
- J. Fujian Norm. Univ., Nat. Sci. (1)
- Aust. N. Z. J. Stat. (1)
- J. Comput. Anal. Appl. (1)
- Commun. Korean Math. Soc. (1)
- Optim. Eng. (1)
- J. Nonlinear Convex Anal. (1)
- J. UCS (1)
- J. Harbin Inst. Technol. (1)
- J. Appl. Math. Comput. (1)
- J. Softw. (1)
- J. Huaihua Univ. (1)
- Struct. Multidiscip. Optim. (1)
- and 31 more Serials
all
top 5
Year of Publication
- 2024 (4)
- 2023 (11)
- 2022 (9)
- 2021 (14)
- 2020 (18)
- 2019 (11)
- 2018 (14)
- 2017 (11)
- 2016 (15)
- 2015 (22)
- 2014 (17)
- 2013 (23)
- 2012 (24)
- 2011 (24)
- 2010 (13)
- 2009 (24)
- 2008 (23)
- 2007 (29)
- 2006 (20)
- 2005 (5)
- 2004 (11)
- 2003 (9)
- 2002 (9)
- 2001 (7)
- 2000 (4)
- 1999 (8)
- 1998 (6)
- 1997 (4)
- 1996 (3)
- 1995 (2)
- 1994 (3)
- 1993 (3)
- 1992 (2)
- 1991 (4)
- 1989 (2)
- 1986 (1)
- 1982 (1)
- 1981 (1)
all
top 3
Main Field
- 68-XX (375)
- 03-XX (101)
- 90-XX (59)
- 94-XX (30)
- 62-XX (21)
- 54-XX (16)
- 06-XX (15)
- 65-XX (10)
- 05-XX (9)
- 91-XX (9)
- 92-XX (9)
- 41-XX (5)
- 93-XX (4)
- 15-XX (3)
- 20-XX (3)
- 00-XX (2)
- 11-XX (2)
- 16-XX (2)
- 46-XX (2)
- 74-XX (2)
- 81-XX (2)
- 01-XX (1)
- 08-XX (1)
- 18-XX (1)
- 26-XX (1)
- 37-XX (1)
- 43-XX (1)
- 52-XX (1)
- 58-XX (1)
- 60-XX (1)
all
top 3
Software
- UCI-ml (6)
- ASSAT (4)
- ElemStatLearn (4)
- C4.5 (2)
- Hyperheuristics (2)
- JBool (2)
- Lotrecscheme (2)
- Matlab (2)
- NSGA-II (2)
- Ontop (2)
- PR-OWL (2)
- PRMLT (2)
- RSBR_ (2)
- Walksat (2)
- 4eMka2 (1)
- AMESim (1)
- ASPARTIX (1)
- BARON (1)
- BicAT (1)
- BioPortal (1)
- Blaise (1)
- Borg (1)
- CCalc (1)
- CLIPS (1)
- COMPASS (1)
- COSA (1)
- CP-nets (1)
- CPLEX (1)
- Carneades (1)
- Chaff (1)
- Chainsaw (1)
- ContentCVS (1)
- CoppeliaSim (1)
- DACE (1)
- DIAMOND (1)
- DLog (1)
- DVNIZK (1)
- DatalogMTL (1)
- DistAl (1)
- Dungine (1)
- EPANET (1)
- FCALGS (1)
- FODD-Planner (1)
- FaCT++ (1)
- FluCaP (1)
- GAToolBox (1)
- GAZEBO (1)
- Graphplan (1)
- Gringo (1)
- JStatCom (1)
- KDD Cup (1)
- KEEL (1)
- KernSmooth (1)
- Konclude (1)
- LARS (1)
- LDSpider (1)
- LERS (1)
- LoTREC (1)
- Loewner (1)
- MLMSRBF (1)
- Miniball (1)
- Mizar (1)
- NESTOR (1)
- NMRDPP (1)
- OEIS (1)
- ORBIT (1)
- OSCAR (1)
- OSL (1)
- OpenStreetMap (1)
- Optimization Toolbox (1)
- PDDL (1)
- Pellet (1)
- ProbLog (1)
- R (1)
- ROS (1)
- ROSETTA (1)
- SMCDEL (1)
- SOM (1)
- SPADE (1)
- SPGL1 (1)
- SemiPar (1)
- Snorocket (1)
- TRLan (1)
- TensorCast (1)
- TrOWL (1)
- Tweety (1)
- UOBYQA (1)
- VGAM (1)
- Vertica (1)
- WEKA (1)
- WinBUGS (1)
- WordNet (1)
- XFOIL (1)
- XRules (1)
- bnsoft (1)
- dr (1)
- kohonen (1)
- ks (1)
- mirt (1)
- nlme (1)
- and 2 more Software Packages